Change some redirecting links to direct links.

Files in github should be linked to using /blob/ rather than /tree/ URLs, while directories should be linked with /tree/.

PiperOrigin-RevId: 524796430
Change-Id: I72492a6acde0709b55d8d8620ad9b538619e7606
This commit is contained in:
Nimrod Gileadi
2023-04-17 03:05:25 -07:00
committed by Copybara-Service
parent d7456f5d35
commit 0e1f948c0a
3 changed files with 15 additions and 15 deletions
+1 -1
View File
@@ -180,7 +180,7 @@ If you use MuJoCo for published research, please cite:
Copyright 2021 DeepMind Technologies Limited.
Box collision code ([`engine_collision_box.c`](https://github.com/deepmind/mujoco/tree/main/src/engine/engine_collision_box.c))
Box collision code ([`engine_collision_box.c`](https://github.com/deepmind/mujoco/blob/main/src/engine/engine_collision_box.c))
is Copyright 2016 Svetoslav Kolev.
ReStructuredText documents, images, and videos in the `doc` directory are made