Alexander Iljin 0637557cca *-docs: remove extra space character at the end of paragraghs		2018-08-21 10:45:52 -07:00
..
obj-docs.factor	*-docs: remove extra space character at the end of paragraghs	2018-08-21 10:45:52 -07:00
obj.factor	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00