... | ... | @@ -4,7 +4,6 @@ Useful links: |
|
|
- [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)
|
|
|
- [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/)
|
|
|
- [Release procedure](release)
|
|
|
- [Web Statistics](https://gitlab.lrde.epita.fr/spot/spot/wikis/Web-Statistics)
|
... | ... | |