History of checkpoint 4 changes
In src/cli/workspace.rs, lines 1254–1267 on ad2496f7e608641053085dd305d3a7e821d7aaebf4ca47f5a4b170837437af85. 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 1254,1267:src/cli/workspace.rs.