diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-04-03 17:40:55 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-04-03 17:40:55 +0200 |
| commit | 8c19fc5261dc53dc7880b3f54f8f2adf413de996 (patch) | |
| tree | 193aad4a3b2920ad6bff1d54cd18e992ac179bdd /inst | |
| parent | 312255078d2529f485a81df2a53d5928622ae81f (diff) | |
| parent | 47ba9ea512b82fb8b31da8ec5558f3c0952d86d4 (diff) | |
Merge branch 'master' into mxkin
Merge DESCRIPTION manually to combine dependencies and rerun check to
update check.log
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions