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
0792fb741d1824990862e6bac2b4da9644a8d216
Switch branch/tag
spot
wrap
python
ajax
spot.in
Find file
Blame
History
Permalink
* wrap/python/ajax/spot.in: Use the degeneralized automaton if
· 0792fb74
Alexandre Duret-Lutz
authored
Mar 04, 2011
available while computing the emptiness check.
0792fb74
Replace spot.in
×
Attach a file by drag & drop or
click to upload
Commit message
Replace spot.in
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.