Skip to content

Remove config files generation from Makefiles#234

Open
Julow wants to merge 4 commits intoocsigen:masterfrom Julow:makefile-remve-config-gen

Commits

Commits on Apr 26, 2024