kondou 6bd0f3cba7 Reimplement filesummary in JS ... Fix #993		2013-08-28 15:10:17 +02:00
..
disableDefaultActions.js	Add _many_ newlines at the end of files	2013-08-18 11:06:59 +02:00
trash.js	Reimplement filesummary in JS	2013-08-28 15:10:17 +02:00