Hans-Werner Hilse f789913702 read global default value for margin size ... The global configuration wasn't evaluated before		2014-12-19 14:03:56 +00:00
..
filemanager	workaround to fix #1340	2014-12-04 10:09:09 +08:00
opdscatalog	clean up refreshes	2014-12-01 16:03:40 +00:00
reader	read global default value for margin size	2014-12-19 14:03:56 +00:00