Skip to content
Snippets Groups Projects

Remove OPTIONS -U__MINGW32__ from gaudi_add_dictionary directive

Merged Marco Cattaneo requested to merge cherry-pick-7b4f2048-3 into 2017-patches
Loading