DXR UI refresh is live!

[Erik Rose]

https://blog.mozilla.org/webdev/2014/02/07/dxr-gets-a-huge-ui-refresh/

Happy hacking!
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform