Adam Strzelecki 92f700075f -Wglobal-constructors should be ignored after push
Actually it is -Wglobal-constructors which is supposed to be ignored, not -Wno-global-constructors. Moreover we should ignore it after push, otherwise we will ruin user settings.
2012-10-19 01:28:47 +02:00
..
2012-10-12 07:58:17 +01:00
2012-10-12 07:58:17 +01:00
2012-09-26 18:36:58 +01:00