From be9b85365fddb1fb3794e0367da4e0848dc5bba2 Mon Sep 17 00:00:00 2001 From: Michael Meissner Date: Tue, 5 May 2020 14:05:39 -0400 Subject: Delete file meant for private branch --- gcc/REVISION | 1 - 1 file changed, 1 deletion(-) delete mode 100644 gcc/REVISION (limited to 'gcc') diff --git a/gcc/REVISION b/gcc/REVISION deleted file mode 100644 index 48971dd..0000000 --- a/gcc/REVISION +++ /dev/null @@ -1 +0,0 @@ -ieee2 branch -- cgit v1.1