Repetitive OOD optimization

[goredo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 99bbf7de3a8653a94424f368ed738eab07bce905..832c8d55d6755bc29bdc3b00929f0ff6f0c931ff 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
 /redo-stamp
 /redo-whichdo
 /tai64nlocal
+/VERSION