| commit | 0d98d75450be28bba00ebabcd9041b4ae541f964 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Fri Jul 08 23:42:52 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Fri Jul 08 23:42:52 2016 +0200 |
| tree | f3609fc78bd4139a32b291af42afcf0738906052 | |
| parent | 581bb196e383ec7b6c01b834688b741d8b9e5a34 [diff] | |
| parent | 8569ff4c92744958851423793e273cfb49dd1090 [diff] |
Merge pull request #133 from mpeuster/master Preparations for open source release