Tom Needham 5323983fc7 Text editor: Waste less space for line numbers		2012-06-23 14:42:37 +00:00
..
ajax	removing executable bit - again	2012-05-15 00:52:00 +02:00
appinfo	Files Texteditor: Use our own "Droid Sans Mono" font-face and fonts	2012-06-13 21:39:12 +02:00
css	Text editor: Waste less space for line numbers	2012-06-23 14:42:37 +00:00
js	use new sanitizeHTML() function	2012-06-21 10:28:43 +02:00