diff --git a/IRIS_VERSION b/IRIS_VERSION deleted file mode 100644 index e9dc549d2ae7ac29151d13f817d9f9b5b211d6c9..0000000000000000000000000000000000000000 --- a/IRIS_VERSION +++ /dev/null @@ -1 +0,0 @@ -6cb76aaaf15d46c74c2a779f1e4e1ca1a53c0838