Tag .mly files on the basis as .ml and .mli files (required by menhir)
Tag .mly files on the basis as .ml and .mli files (required by menhir)

jpdeplaix/oasis,madroach/oasis,gerdstolpmann/oasis,jpdeplaix/oasis,RadicalZephyr/oasis,gerdstolpmann/oasis,diml/oasis,jpdeplaix/oasis,madroach/oasis,Chris00/oasis,gerdstolpmann/oasis,Chris00/oasis,RadicalZephyr/oasis,Chris00/oasis,diml/oasis