Delete file meant for private branch
authorMichael Meissner <Michael Meissner meissner@linux.ibm.com>
Tue, 5 May 2020 18:05:39 +0000 (14:05 -0400)
committerMichael Meissner <Michael Meissner meissner@linux.ibm.com>
Tue, 5 May 2020 18:05:39 +0000 (14:05 -0400)
gcc/REVISION [deleted file]

diff --git a/gcc/REVISION b/gcc/REVISION
deleted file mode 100644 (file)
index 48971dd..0000000
+++ /dev/null
@@ -1 +0,0 @@
-ieee2 branch