Ralf Becker d6ce36d735 bump versions to 14.1		2014-06-24 10:00:50 +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	bump versions to 14.1	2014-06-24 10:00:50 +00:00
templates	Fix preferences tooltip not shown at the top in FF	2014-06-23 12:08:18 +00:00
index.php	index.php and setup index for preferences redirection to settings	2013-11-18 08:22:19 +00:00