Skip to content

Add menhir to the list of opam packages in README.#110

Merged
nomeata merged 1 commit intomasterfrom
hassensaidi/readme_build
Dec 8, 2018
Merged

Add menhir to the list of opam packages in README.#110
nomeata merged 1 commit intomasterfrom
hassensaidi/readme_build

Commits

Commits on Dec 8, 2018