diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-11-09 09:47:33 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-11-09 09:47:33 +0100 |
| commit | 17258b37e7f22008298d350a2dc954d71d2fd496 (patch) | |
| tree | d6e7ad679cca1581fc25e9a839abda6e20d93b77 /docs/dev/index.html | |
| parent | 82c8b014c537c0634615c3c007aa4a3fa672307f (diff) | |
Remove outdated doc page
Diffstat (limited to 'docs/dev/index.html')
0 files changed, 0 insertions, 0 deletions