diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-06-20 12:24:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-20 12:24:29 +0200 |
commit | 27043b9b0f2095f67e14ed9ce354117698c525c3 (patch) | |
tree | 97c8f526c7f19c904cd7f929b26a1f03d4994a33 /docs/reference/summary.mkinfit.html | |
parent | 5243ac0ebe3223e5803b4ebee1cb619008638785 (diff) | |
parent | 16ce026bca4c17d5042ad724f23b70d8a0e6a982 (diff) |
Merge pull request #8 from wibeasley/patch-1
change to `superseded`
Diffstat (limited to 'docs/reference/summary.mkinfit.html')
0 files changed, 0 insertions, 0 deletions