Simplify folder structure

dionysos-dev · Oct 31, 2024 · 5871970 · 5871970
1 parent 06b6d7a
commit 5871970
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/...xamples/solvers/Double Pendulum/Safety.jl → ...xamples/solvers/Double_Pendulum_Safety.jl b/...xamples/solvers/Double Pendulum/Safety.jl → ...xamples/solvers/Double_Pendulum_Safety.jl
diff --git a/...examples/solvers/Pendulum/Reachability.jl → ...examples/solvers/Pendulum_Reachability.jl b/...examples/solvers/Pendulum/Reachability.jl → ...examples/solvers/Pendulum_Reachability.jl
diff --git a/docs/src/examples/solvers/Pendulum/Safety.jl → docs/src/examples/solvers/Pendulum_Safety.jl b/docs/src/examples/solvers/Pendulum/Safety.jl → docs/src/examples/solvers/Pendulum_Safety.jl