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