DXR's been taking patches at a healthy rate, both to the soon-to-land UI branch and directly to production. I wanted to give you an update on what we've grown since November—including some handy but subtle new features you might not have noticed—along with a preview of what's coming next:
https://blog.mozilla.org/webdev/2014/01/16/dxr-gets-more-correct-less-case-sensitive/ Thanks again for all your feedback; it's been primary in determining the direction of the project. Cheers! Erik _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
