search

morazanm / fsm

A DSL for the Automata Theory Classroom
15 stars 6 forks source link

[BUG] Shell.rkt Not needed #30

Closed jschappel closed 2 years ago

jschappel commented 2 years ago

shell.rkt is leftover from an old graphviz implementation. After running a grep of the filesystem it is not used anywhere. It can be removed.

jschappel commented 2 years ago

commit 0636bbf fixes this issue.