Revert accidental commit.
commit5c4ef889ce7b0ef6a507f313376de4d3a54ba03b
authorhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 12 Jun 2013 14:29:10 +0000 (12 14:29 +0000)
committerhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 12 Jun 2013 14:29:10 +0000 (12 14:29 +0000)
tree813302e926a8a8f4cf3587f19f1de1cbd8e0fc3c
parentcda0c4b529fbf48afa0c4267d6da44f362d6c3a9
Revert accidental commit.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200016 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/configure