From: Michael Meissner Date: Tue, 5 May 2020 18:05:39 +0000 (-0400) Subject: Delete file meant for private branch X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b9180ae7e1f305477724ec954f6140fa0c93058;p=gcc.git Delete file meant for private branch --- 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