Commit Graph

3 Commits

Author SHA1 Message Date
Thomas Schoebel-Theuer
67927ef56a doc: add logo for github pages 2013-11-18 08:19:10 +01:00
Thomas Schoebel-Theuer
4abb584aad doc: move pictures to images/ 2013-10-04 10:53:42 +02:00
Thomas Schoebel-Theuer
f75d402d0b doc: add mars-manual.{lyx,pdf} (work in progress) 2013-07-04 10:23:08 +02:00