Disable the highlight mechanism after fixing the behavior in File.onPopupClosed_().
[armadillo.git] / .gitignore
1 closure/
2 out/
3 /.gitcrement
4 /web_frontend/version.js.proto