| commit | 18c369447e5d6cf228e8175b4586816f55d16089 | [log] [tgz] |
|---|---|---|
| author | Markus Tiede <Markus.Tiede@bredex.de> | Wed Jun 17 09:09:02 2015 +0200 |
| committer | Markus Tiede <Markus.Tiede@bredex.de> | Wed Jun 17 09:09:02 2015 +0200 |
| tree | 97cd42ba36d61118106a8b9bddb411bbf6fbfd83 | |
| parent | 4f9064598dc61db16a35ed054d21b3e4355935b2 [diff] |
Non-sprint task - switch to official final Mars developer manual location
