Johannes Meyer 274a0c8a09 Store a user's preferences in a dedicated directory rather than in a single file ... refs #5600		2015-09-07 11:20:36 +02:00
..
Preferences	Store a user's preferences in a dedicated directory rather than in a single file	2015-09-07 11:20:36 +02:00
Preferences.php	Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL	2015-02-04 10:52:27 +01:00