Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
POTTIER Francois
menhir
Repository
menhir
INSTALLATION
Find file
Blame
History
Permalink
Updated Makefile to avoid the dependency install: all.
· ea0c1793
fpottier
authored
Dec 16, 2013
git-svn-id:
svn+ssh://scm.gforge.inria.fr/svnroot/menhir@348
0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
ea0c1793
