Skip to content

Handle non-existing file in print_diff#4182

Closed
bobot wants to merge 1 commit intoocaml:mainfrom bobot:diffing-with-non-existent-in-sub-dir
+48-3

Commits

Commits on Jul 19, 2022