Age | Commit message (Expand) | Author |
---|---|---|
2014-02-07 | User manual: update html file shipped with git repository | Dirk Hohndel |
2014-01-03 | Prepare for 4.0.1 releasev4.0.1 | Dirk Hohndel |
2013-12-23 | User manual: updates | Willem Ferguson |
2013-12-20 | Include the user-manual.html file in the git tree | Dirk Hohndel |