Correct paths for utop-history, utoprc: in utop subdirs of XDG base dirs#484
Open
tuohy wants to merge 2 commits intoocaml-community:masterfrom tuohy:xdgpaths
+6-3
Commits
Commits on Apr 3, 2024
- committed
Garth Tuohy
Commits on Apr 4, 2024
- committedGarth Tuohy