jendib a7a6adfa34 #62: Rebuild index if too old or corrupted		2016-03-01 01:24:26 +01:00
..
src	#62: Rebuild index if too old or corrupted	2016-03-01 01:24:26 +01:00
pom.xml	#62: Migration to Lucene 5 (without rebuilding old index)	2016-03-01 01:01:10 +01:00