Bjoern Schiessle d5237c42bc Util::formatDate() expect $timestamp as double		2012-06-27 15:05:40 +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	removing executable bit - again	2012-05-15 00:52:00 +02:00