Updated MIRA help done.
added 1 commit
Compare with previous version
assigned to @diewald and unassigned @eder
Can be merged.
assigned to @eder and unassigned @diewald
merged
mentioned in commit 2ae8e3b5