History of push_delete 1 change

In src/cli/sync.rs, lines 252–293 on 4afab467e35f35023c84f531f79824cb10e31c242baa279de8b934177f8c84f1. 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 252,293:src/cli/sync.rs.