tree 394378a947af97d48481e4f8a012adacfa00a1c2
parent 65449ff3815d0f779a21bf8073650c6c888a9485
author Nils Diewald <nils@diewald-online.de> 1425071302 +0000
committer Nils Diewald <nils@diewald-online.de> 1425071302 +0000

properties now have krill-prefixes, added some docs to KrillIndex