INSTALLATION.md · 93abc52d013b3c26294747f0bca0f43f32b4bb99 · ANGELETTI Florian / menhir · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.6.

Jun 13, 2018
8ba21d36
Fix the build instructions in INSTALLATION.md · 8ba21d36
POTTIER Francois authored Jun 13, 2018
```
so that they work also in the presence of GNUmakefile.
```
8ba21d36
Fix the build instructions in INSTALLATION.md
POTTIER Francois authored Jun 13, 2018
```
so that they work also in the presence of GNUmakefile.
```