Skip to content
GitLab
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
76517d9cd27599389d3177e7584e0b2d2da36a7f
Switch branch/tag
spot
doc
org
dstar2tgba.org
Find file
Blame
History
Permalink
org: adjust text for simplified example for dstar2tgba
· 76517d9c
Alexandre Duret-Lutz
authored
Apr 02, 2019
* doc/org/dstar2tgba.org: Simplify example now that the automaton is further reduced.
76517d9c