Joris van der Hoeven cea0e5d1dc Update database from disk in case of changes		2015-04-15 08:08:24 +00:00
..
api	Documentation for auto updater. Documentation for advanced preferences.	2013-08-17 21:39:17 +00:00
bibliography	Rename	2011-08-28 07:59:50 +00:00
buffer	open-window returns the window	2012-09-20 16:21:31 +00:00
database	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
edit	Fixes	2014-05-14 14:02:30 +00:00
graphics	Rename	2011-08-28 07:59:50 +00:00
gui	Doc: now really fixed	2014-01-02 19:29:37 +00:00
overview	Doc: typo	2014-03-11 19:00:48 +00:00
utils	Doc update	2015-03-15 20:17:08 +00:00
scheme.en.tm	Added branch to new doc	2012-10-01 08:24:58 +00:00