removed benchmark

ThummeTo · Nov 7, 2023 · af3892d · af3892d
1 parent 04ffe92
commit af3892d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4,164 deletions.
diff --git a/examples/src/.gitignore b/examples/src/.gitignore
@@ -1 +1,2 @@
-FMI_*_Benchmark/
+FMI_*_Benchmark/
+tmp/