Skip to content

Replace bash use with dune-configurator#168

Open
tobil4sk wants to merge 2 commits intoaantron:masterfrom tobil4sk:reduce-bash-usage
+36-22

Commits

Commits on Feb 8, 2025