Merge pull request #747 from JuliaReach/schillic/assets

Remove unused pictures
JuliaReach · Nov 3, 2023 · a3fe19d · a3fe19d
2 parents ab4b8a9 + 3515517
commit a3fe19d
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