From d94d571bf0d42beb90bb36d311b7a4c075c81b94 Mon Sep 17 00:00:00 2001 From: Michael Meissner Date: Tue, 23 Jun 2020 12:01:11 -0400 Subject: [PATCH] Remove unintended checkin 2020-06-23 Michael Meissner * REVISION: Delete file meant for a 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 625d9a83e7b..00000000000 --- a/gcc/REVISION +++ /dev/null @@ -1 +0,0 @@ -work005-orig branch, 6/23/2020, id: abcde0a658e17dbbabcb396eaae5a3612e07d401 -- 2.30.2