From 8b9180ae7e1f305477724ec954f6140fa0c93058 Mon Sep 17 00:00:00 2001 From: Michael Meissner Date: Tue, 5 May 2020 14:05:39 -0400 Subject: [PATCH] Delete file meant for private branch --- gcc/REVISION | 1 - 1 file changed, 1 deletion(-) delete mode 100644 gcc/REVISION diff --git a/gcc/REVISION b/gcc/REVISION deleted file mode 100644 index 48971dd5c2a..00000000000 --- a/gcc/REVISION +++ /dev/null @@ -1 +0,0 @@ -ieee2 branch -- 2.11.4.GIT