Skip to content
Snippets Groups Projects
Commit bb333333 authored by Marco Cattaneo's avatar Marco Cattaneo
Browse files

Merge branch 'removeWIN32-2016' into '2016-patches'

Remove OPTIONS "-U__MINGW32__" from gaudi_add_dictionary directive

See merge request !711
parents 8c812856 95f40055
No related branches found
No related tags found
Loading
Showing
with 17 additions and 45 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment