summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/automata.tlpsrc
blob: 9c137438b445b1acd96c93cb728147f002be063a (plain)
1
name automata