| Sat, 04 Oct 2014 22:11:08 +0200 | wenzelm | tuned output; | changeset | files |
| Sat, 04 Oct 2014 19:26:31 +0200 | wenzelm | proper treatment of @comment (amending 402a8e8107a7); | changeset | files |
| Sat, 04 Oct 2014 18:26:25 +0200 | wenzelm | mark hard tabs as single chunks, as required by jEdit (see 0fd2bf8eaa9f); | changeset | files |