diff options
author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-20 06:54:44 +0000 |
---|---|---|
committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-09-20 06:54:44 +0000 |
commit | c9b304ada7111264d743b1c588393b66a3e3edfb (patch) | |
tree | 23e3703588e5c53af9542f26b4690e4fedb0c626 | |
parent | 34d05384ecdd00f608ab2d7ffde254f1ab8aaaf3 (diff) |
Mark as releasegcc_4_7_2_release
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@191557 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/DEV-PHASE | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/DEV-PHASE b/gcc/DEV-PHASE index 373fbc60bb9..e69de29bb2d 100644 --- a/gcc/DEV-PHASE +++ b/gcc/DEV-PHASE @@ -1 +0,0 @@ -prerelease |