Commits · 8dd564119169a169598ba9c862cdb3cffb8891fc · Gérard Huet / Heritage_Platform · GitLab

12 Jun, 2017 1 commit
- Remove execution permission for unwanted files (e.g. .ml files) · 8dd56411
  Idir Lankri authored Jun 12, 2017
  
  8dd56411
03 May, 2017 1 commit
- Initialisation · 714aba3c
  huet authored May 04, 2017
```
 the commit message for your changes. Lines starting
```
  714aba3c