Mon, 13 Nov 2017 13:27:18 +0100 | Mike Becker | fixes bad header specification in root Makefile.am | changeset | files |
Mon, 13 Nov 2017 12:21:55 +0100 | Mike Becker | web doc has now proper titles | changeset | files |
Sat, 28 Oct 2017 16:31:29 +0200 | Mike Becker | fixes sourceforge link in doxygen doc | changeset | files |