Delete docs/videos directory

moveit · Aug 14, 2024 · c86c89f · c86c89f
1 parent 580f4ab
commit c86c89f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/videos/moveit_task_constructor_benchmark.webm b/docs/videos/moveit_task_constructor_benchmark.webm