Eduardo Cavazos 5decac30d2 automata.ui: new automata-window*		2008-07-12 16:46:50 -05:00
..
authors.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00
deploy.factor	Update deploy.factor files for renaming of config flag	2007-11-05 00:47:13 -05:00
ui.factor	automata.ui: new automata-window*	2008-07-12 16:46:50 -05:00