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
..
backup	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
latest	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
util	io.launcher: cleanup public interface, make some things private or internal.	2014-12-30 10:04:09 -08:00
update.factor	switch some vocabs to 4 spaces.	2013-07-24 14:52:09 -07:00