Commit 33516987df0cecb505f12cec8bf7411982592fda

Stefan Sperling 2018-03-09T18:00:23

rename 'index' data structures to 'file index'