Gael Guennebaud 4dded73227 bug #914: fix compiler detection on windows
(grafted from 77af14fb6213b833cc37a01e2a8c7eb762db9af8
)
2015-02-16 16:26:47 +01:00
..
2010-10-12 10:39:28 +02:00
2013-10-09 10:25:50 +02:00