Merge pull request #5610 from yangshun/change-devtools-message
Change devtools install message on file: URLs
Jim committed
Dec 10, 2015 at 08:55 UTC
be964561ed442f27a820a03835b9db0e260949c1
No changes.
Change devtools install message on file: URLs
No changes.