kalikiana/dxr — pull request #3 by kalikiana (2011-12-08 13:25:22+00:00)
Title: xref-tools should be called plugins

It occurred to me that xref-tools really is the place to place plugins at the end of the day. And plugins can hook into the indexing as well as the search fronend. I did ponder if it's worth having split plugin files, but that seems rather tedious for little gain. The space needed for copying the plugins if you run the fronend on a different machine is neglible.