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
487c4ac48cf096f55f2e732420b6ab8ea48288ca
Switch branch/tag
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbatest/ltl2tgba.cc (main): Delete the accepting run
· 487c4ac4
Alexandre Duret-Lutz
authored
Dec 01, 2010
even if it hasn't been printed.
487c4ac4
To find the state of this project's repository at the time of any of these versions, check out
the tags
.
Replace ChangeLog
×
Attach a file by drag & drop or
click to upload
Commit message
Replace ChangeLog
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.