Clean up.

2025-12-09 19:41:05 +01:00
parent fa831d3b5f
commit 81792197ff
15 changed files with 191 additions and 453 deletions
@@ -6,3 +6,7 @@ merge.py
 *.o
 run_examples
 rava
+*.gcno
+*.gcda
+coverage_report
+*.info