Doug Coleman fdb5383f19 Merge remote-tracking branch 'origin/master' into modern-harvey3		2018-08-24 16:49:34 -05:00
..
authors.txt	…
generalizations-docs.factor	…
generalizations-tests.factor	…
generalizations.factor	…
summary.txt	…