History of push_delete 1 change

In src/cli/sync.rs, lines 363–404 on cd4eb55e3b3d5201e29f6e6a59a5839b4d184864adcfbd988cb5401e1d25a03f. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 363,404:src/cli/sync.rs.