Georg Ehrke da4057ecfd fix label for versioning in admin settings		2012-08-04 18:51:09 +02:00
..
history.php	Util::formatDate() expect $timestamp as double	2012-06-27 15:05:40 +02:00
settings-personal.php	added new user settings interface for deleting old file versions	2012-06-20 18:25:12 +01:00
settings.php	fix label for versioning in admin settings	2012-08-04 18:51:09 +02:00