diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-15 11:13:19 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-15 11:13:19 +0200 |
commit | fcc28ed8bafd5c3b989033e8f1afefaae0c3fe41 (patch) | |
tree | 98202fa858471e05f8a9f5f8e1010231d2db1be9 /NAMESPACE | |
parent | 4fa48c8ef79d75c008fe5cbd0f57b3d96db0b888 (diff) |
Better description of the release procedure
Diffstat (limited to 'NAMESPACE')
0 files changed, 0 insertions, 0 deletions