Sat, 05 Apr 2014 19:16:16 +0200 | wenzelm | tuned error; | changeset | files |
Sat, 05 Apr 2014 19:07:05 +0200 | wenzelm | proper settings instead of hard-wired information; | changeset | files |
Sat, 05 Apr 2014 18:52:03 +0200 | wenzelm | explicit indication of important doc sections ("!"), which are expanded in the tree view; | changeset | files |