Alexander Iljin 0637557cca *-docs: remove extra space character at the end of paragraghs		2018-08-21 10:45:52 -07:00
..
authors.txt	…
sections-docs.factor	*-docs: remove extra space character at the end of paragraghs	2018-08-21 10:45:52 -07:00
sections.factor	prettyprint.sections: don't create empty strings with zero indent.	2017-06-11 10:53:55 -07:00
summary.txt	…