Doug Coleman 5ab131108a extra: Finish renaming a couple words		2020-04-11 20:35:06 -05:00
..
authors.txt	…
koszul-tests.factor	…
koszul.factor	extra: Finish renaming a couple words	2020-04-11 20:35:06 -05:00
summary.txt	…