-
POGODALLA Sylvain authored
Remove the automatic generation of messages.ml files from menhir in dune files, in order to avoid menhir output changes.
88235c19
Remove the automatic generation of messages.ml files from menhir in dune files, in order to avoid menhir output changes.