Marius Hein 6112189b0c User preferences: Add database store ... refs #4069		2013-08-05 16:56:03 +02:00
..
frontend	Fix history api URI encoding	2013-07-15 13:03:12 +02:00
js	Add --vagrant switch to the javascript style-checker	2013-07-01 12:08:01 +02:00
php	User preferences: Add database store	2013-08-05 16:56:03 +02:00