Merge branch 'master' into documentation
Refer to the manual
Merge branch 'master' into documentation
Make --version work identical in dlhmm and plasma
Add git branch to --version
Merge branch 'master' into documentation
Merge branch 'documentation'