Skip to content

Commit

Permalink
Set Menhir version back to 20210419 again (ocaml#89)
Browse files Browse the repository at this point in the history
  • Loading branch information
@mshinwell
mshinwell committed Dec 28, 2022
1 parent cc63992 commit a09392d
Show file tree
Hide file tree
Showing 3 changed files with 14,410 additions and 15,586 deletions.

0 comments on commit a09392d

Please sign in to comment.