Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix-references-to-raw-github-content (#6667)
* Replace reference to raw github content with webots:// in ShapeWithFixedWebTexture.proto. The reference to a file in the github develop branch was causing that file to be left as changed when running test_suite.py in the develop branch.
- Loading branch information