OpenGrok/OpenGrok — pull request #40 by tarzanek (2013-04-08 11:24:54+00:00)
Title: remove dups when reindexing

this fixes #7