Doug Coleman b546d88e83 extra: Finish renaming a couple words		2020-02-27 01:04:52 +00:00
..
authors.txt	…
koszul-tests.factor	…
koszul.factor	extra: Finish renaming a couple words	2020-02-27 01:04:52 +00:00
summary.txt	…