diff options
author | Michael Meissner <meissner@linux.ibm.com> | 2020-06-23 12:01:11 -0400 |
---|---|---|
committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:35 -0300 |
commit | d2509034cd3d4c64b482daa332171001132bf693 (patch) | |
tree | 343bb324957c9a95a0ee4edd5d2f8d111c62b66c | |
parent | d746eee06ef1f2311945bd49153377b614e0481e (diff) | |
download | gcc-d2509034cd3d4c64b482daa332171001132bf693.zip gcc-d2509034cd3d4c64b482daa332171001132bf693.tar.gz gcc-d2509034cd3d4c64b482daa332171001132bf693.tar.bz2 |
Remove unintended checkin
2020-06-23 Michael Meissner <meissner@linux.ibm.com>
* REVISION: Delete file meant for a private branch.
-rw-r--r-- | gcc/REVISION | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/REVISION b/gcc/REVISION deleted file mode 100644 index 625d9a8..0000000 --- a/gcc/REVISION +++ /dev/null @@ -1 +0,0 @@ -work005-orig branch, 6/23/2020, id: abcde0a658e17dbbabcb396eaae5a3612e07d401 |