Skip to content
Snippets Groups Projects

Remove OPTIONS "-U__MINGW32__" from gaudi_add_dictionary directive

Merged Marco Cattaneo requested to merge cherry-pick-bb333333-2 into stripping24-patches
Compare changes
  • Side-by-side
  • Inline
Files
17
Loading