scala/scala — pull request #1418 by paulp (2012-09-28 14:58:05+00:00)
Title: Purged DebruijnIndex.

Apparently everyone agrees it's not used anymore.