Benjamin Pollack 2c3dd8c3c8 Remove executable bit from tons of files that aren't		2014-11-05 20:40:42 -08:00
..
ui	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
authors.txt	Remove some stuff from unmaintained, and put some extra stuff there	2009-03-07 01:38:50 -06:00
automata.factor	Remove some stuff from unmaintained, and put some extra stuff there	2009-03-07 01:38:50 -06:00
summary.txt	Remove some stuff from unmaintained, and put some extra stuff there	2009-03-07 01:38:50 -06:00