3 ms·
Not a Googler, so I can't say. There was Mozilla DXR but it has been abandoned.
by dqv 5y ago
Not a Googler, so I can't say. There was Mozilla DXR but it has been abandoned.
- jcranmer 5y agoDXR has largely been replaced with mozsearch (https://github.com/mozsearch/mozsearch https://github.com/mozsearch/mozsearch), and a quick glance through the really early history does show that it adopted a fair amount of stuff from DXR. The downside is that it's not as easy to set up a local mozsearch instance as old-school DXR was.