holger krekel 2248a31a44 more fixes regarding marking, in particular plugins should use add_marker/get_marker now.		2013-10-03 15:43:56 +02:00
..
en	more fixes regarding marking, in particular plugins should use add_marker/get_marker now.	2013-10-03 15:43:56 +02:00
ja	add changelog entry for anthon's hynek-fication of options,	2013-08-01 17:32:19 +02:00