diff options
author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-06-14 08:32:48 +0000 |
---|---|---|
committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-06-14 08:32:48 +0000 |
commit | 0e3097e7d505b7be8b05725988e27b2bea72fa39 (patch) | |
tree | b44a0680b61c4f4b275406c68d33f9c5af57dff4 | |
parent | ddd77821e5879ad1d69ee561e64181efa9e289ad (diff) |
Mark as releasegcc_4_7_1_release
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@188596 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 |