Closed s-khechnev closed 8 months ago
The fix_gen directory was created independently of the options. For instance,
fix_gen
dune exec -- zanuda --help
It will generate a fix_gen.
The
fix_gen
directory was created independently of the options. For instance,It will generate a
fix_gen
.