Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
9319b0ca25638df4de0498b12260ea56181a2b1c
Switch branch/tag
spot
README
Find file
Blame
History
Permalink
Changes in order to pass sanity tests
· 9319b0ca
Ala-Eddine Ben-Salem
authored
Apr 11, 2012
and
Alexandre Duret-Lutz
committed
Aug 21, 2012
* src/tgbatest/ltl2tgba.cc, src/ta/Makefile.am, README: code style
9319b0ca
To learn more about this project, read
the wiki
.
