Update home authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
...@@ -4,7 +4,6 @@ Useful links: ...@@ -4,7 +4,6 @@ Useful links:
- [Development Snapshots](DevSnapshots) - [Development Snapshots](DevSnapshots)
- [HACKING](https://gitlab.lrde.epita.fr/spot/spot/blob/next/HACKING) & [README](https://gitlab.lrde.epita.fr/spot/spot/blob/next/README) - [HACKING](https://gitlab.lrde.epita.fr/spot/spot/blob/next/HACKING) & [README](https://gitlab.lrde.epita.fr/spot/spot/blob/next/README)
- [how to write a commit](https://gitlab.lrde.epita.fr/spot/spot/wikis/how-to-write-a-commit) - [how to write a commit](https://gitlab.lrde.epita.fr/spot/spot/wikis/how-to-write-a-commit)
- the [old build farm](http://teamcity.lrde.epita.fr/project.html?projectId=Spot) is being migrated to gitlab-ci
- [Hanoi Omega Automata Format](http://adl.github.io/hoaf/) - [Hanoi Omega Automata Format](http://adl.github.io/hoaf/)
- [Release procedure](release) - [Release procedure](release)
- [Web Statistics](https://gitlab.lrde.epita.fr/spot/spot/wikis/Web-Statistics) - [Web Statistics](https://gitlab.lrde.epita.fr/spot/spot/wikis/Web-Statistics)
... ...
......