compress image size

uzh-rpg · Mar 27, 2022 · 4ccd8e4 · 4ccd8e4
1 parent 1c16ffd
commit 4ccd8e4
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/docs/imgs/env_ppo.png b/docs/imgs/env_ppo.png
diff --git a/docs/imgs/video.png b/docs/imgs/video.png
diff --git a/docs/imgs/vision_demo.png b/docs/imgs/vision_demo.png