History of diff 1 change

In src/cli/workspace.rs, lines 157–162 on 86fe29fd62ea9ca0567f8fa4a7df65ca25281bafaff0c2e0147cf72bac52a850. 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 157,162:src/cli/workspace.rs.