remove unused pictures

JuliaReach · Nov 1, 2023 · 3515517 · 3515517
1 parent ab4b8a9
commit 3515517
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docs/src/assets/bouncing_ball.png b/docs/src/assets/bouncing_ball.png
diff --git a/docs/src/assets/clocked_simple.png b/docs/src/assets/clocked_simple.png