Benjamin Pollack 2c3dd8c3c8 Remove executable bit from tons of files that aren't		2014-11-05 20:40:42 -08:00
..
constants	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
imperial	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
reduction	…
si	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
authors.txt	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
units-tests.factor	…
units.factor	…