strictness, ci

[minfp.git] / rts / .gitignore

diff --git a/rts/.gitignore b/rts/.gitignore
new file mode 100644 (file)
index 0000000..5761abc
--- /dev/null
+++ b/rts/.gitignore
@@ -0,0 +1 @@
+*.o