Eduardo Cavazos f4388ec147 automata.ui: use 'grid-add*'		2008-07-18 18:54:32 -05:00
..
ui	automata.ui: use 'grid-add*'	2008-07-18 18:54:32 -05:00
authors.txt	…
automata.factor	automata: no need for >array when using <clumps>	2008-07-12 15:53:20 -05:00
summary.txt	…
tags.txt	…