diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-07-08 18:12:21 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-07-09 09:10:02 +0200 |
| commit | e0bef15657df1d6cade99cc3f6d8b07fa35792fe (patch) | |
| tree | 7d050ac3b25e37a952a1f4efa46263980fbe502b /DESCRIPTION | |
| parent | 67d032fb345f8e0afc7628d7525da5b7f0a98f79 (diff) | |
Adaptations for gmkin
Address winbuilder check problems, update check log, update of static docs
Diffstat (limited to 'DESCRIPTION')
0 files changed, 0 insertions, 0 deletions