|
|
Useful links:
|
|
|
|
|
|
- [Spot website](http://spot.lip6.fr/)
|
|
|
- [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)
|
|
|
- [build farm](http://teamcity.lrde.epita.fr/project.html?projectId=Spot)
|
|
|
- [Hanoi Omega Automata Format](http://adl.github.io/hoaf/)
|
|
|
- [Release procedure](release) |
|
|
\ No newline at end of file |