summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2019-12-12 08:08:43 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2019-12-12 08:08:43 +0100
commitc87b4df4ef7d138d80768951a06107c3b66f46ab (patch)
tree3c415fc36f10f7b2dfb418a8b6ab58c67af78d07 /.gitignore
parenteedaeb712c41686f79f5c7f096265a929a079114 (diff)
automata.State: improve error message on missing transition
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions