Doug Coleman 352e5de16a core, basis, extra: Remove DOS line endings from files. ... Remove whitespace from end of lines. Add a newline to the end of each file.		2015-06-29 17:25:40 -07:00
..
conditions.factor	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
summary.txt	Remove executable bit from tons of files that aren't	2014-11-05 20:40:42 -08:00
tags.txt	More tags	2008-09-24 00:45:28 -05:00