Merge pull request #14 from convince-project/renaming3

delete file added unintentionally
convince-project · Jul 19, 2024 · 4a2ab1c · 4a2ab1c
2 parents 55fe9db + 2156aa5
commit 4a2ab1c
Showing 1 changed file with 0 additions and 377 deletions.
diff --git a/jani_generator/test/_test_data/ros_example/main-prepared.jani b/jani_generator/test/_test_data/ros_example/main-prepared.jani