Fix BadImageFormatException#169

Merged

tonerdo merged 1 commit intomasterfrom

fix-badimageformatexception

Aug 11, 2018

Commits on Aug 10, 2018

write document index to hits file instead of its path
tonerdo
committed