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/index.html | |
| parent | 5243ac0ebe3223e5803b4ebee1cb619008638785 (diff) | |
| parent | 16ce026bca4c17d5042ad724f23b70d8a0e6a982 (diff) | |
Merge pull request #8 from wibeasley/patch-1
change to `superseded`
Diffstat (limited to 'docs/reference/index.html')
0 files changed, 0 insertions, 0 deletions