diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-22 11:43:49 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-22 11:43:49 +0200 |
| commit | cff25a78e0e5a9d46db575b1ae3b02ace560aaf6 (patch) | |
| tree | 9c4fb80c8725e4a82158c2955d26c805f3c65760 /docs/reference/mkinds.html | |
| parent | 93256099d5c2536e8fab359d5afe58a361dc6139 (diff) | |
Update static docs
Diffstat (limited to 'docs/reference/mkinds.html')
0 files changed, 0 insertions, 0 deletions