aboutsummaryrefslogtreecommitdiffstats
path: root/Documentation/user-manual.html.git
AgeCommit message (Expand)Author
2014-02-07User manual: update html file shipped with git repositoryGravatar Dirk Hohndel
2014-01-03Prepare for 4.0.1 releasev4.0.1Gravatar Dirk Hohndel
2013-12-23User manual: updatesGravatar Willem Ferguson
2013-12-20Include the user-manual.html file in the git treeGravatar Dirk Hohndel