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
..
input-methods	ui.backend.gtk: split off input methods support for ui.editors into .input-methods.editors (no more ui.editors with its dependencies in a deployed	2011-01-26 21:37:26 +06:00
io	core, basis, extra: Remove DOS line endings from files.	2015-06-29 17:25:40 -07:00
authors.txt	ui.backend.gtk: change authors list	2010-06-13 16:53:24 +06:00
gtk.factor	ui.backend.gtk: fix yield delay on gtk backend.	2014-08-05 11:24:23 -07:00
platforms.txt	ui.backend.gtk: remove unneeded vocabs from USING:, add platforms.txt	2011-09-01 20:15:23 -07:00
summary.txt	add summary.txt and tags.txt for various vocabularies	2010-07-17 15:31:53 +06:00