| Mon, 14 Jan 2013 14:52:52 +0100 | wenzelm | avoid odd copies of local configuration or backup files; | changeset | files |
| Mon, 14 Jan 2013 14:46:22 +0100 | wenzelm | more precise relevant_range to exploit overview_limit better; | changeset | files |
| Mon, 14 Jan 2013 13:59:43 +0100 | wenzelm | restrict "bad" markup to command keyword, notably excluding subsequent comments; | changeset | files |