jj: remove old final index stuff

This commit is contained in:
Jonathan Jenne
2018-06-28 18:12:53 +02:00
parent 995a076d37
commit 97866e1c45
3 changed files with 18 additions and 1553 deletions

File diff suppressed because it is too large Load Diff