Ralf Becker 0246dec560 update client-side preferences, when preferences get saved		2014-06-06 12:21:31 +00:00
..
doc	*** empty log message ***	2001-08-06 09:46:03 +00:00
inc	update client-side preferences, when preferences get saved	2014-06-06 12:21:31 +00:00
lang	translations from our translation server	2014-05-09 14:16:27 +00:00
setup	index.php and setup index for preferences redirection to settings	2013-11-18 08:22:19 +00:00
templates	Make font-size smaller for preferences header selectboxes	2014-04-22 09:06:45 +00:00
index.php	index.php and setup index for preferences redirection to settings	2013-11-18 08:22:19 +00:00