-
Julien Signoles authored
- [Makefile] better generation of local_config.ml - [Options] new options for customized code generation (unused yet)
1d86aa12
- [Makefile] better generation of local_config.ml - [Options] new options for customized code generation (unused yet)