| ... | ... | @@ -7,4 +7,5 @@ Useful links: |
|
|
|
- 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)
|
|
|
|
- Spot Calendar: `https://calendar.google.com/calendar/ical/nq336vlnojv6i5qhkmu5qbak3s%40group.calendar.google.com/public/basic.ics` |
|
|
\ No newline at end of file |
