doc: remove old mars-manual.pdf in favour of the new manuals

This commit is contained in:
Thomas Schoebel-Theuer 2019-11-05 20:13:31 +01:00
parent 57f449bda5
commit 0d438077f2
1 changed files with 0 additions and 0 deletions

Binary file not shown.