Marius Hein 6d1f349616 User preferences: Implement interfaces and ini store ... refs #4069		2013-08-05 16:56:02 +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: Implement interfaces and ini store	2013-08-05 16:56:02 +02:00