]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76cb982) | patch
* gcc-interface/misc.c (gnat_post_options): Disable caret by default.
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 6 May 2012 10:46:17 +0000 (10:46 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 6 May 2012 10:46:17 +0000 (10:46 +0000)
commitcd3ef82256a52fafeafc953d6bdee221b249f0d1
tree636a615d789e1e00949bc765ae349438fdfb2769tree
parent76cb9822418b75842073fdd00d515385162e9480commit | diff
* gcc-interface/misc.c (gnat_post_options): Disable caret by default.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187207 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/gcc-interface/misc.c diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git