Remove OPTIONS "-UMINGW32" from gaudi_add_dictionary directive

Review changes
Open in Workspace
Download
Patches
Plain diff

Remove OPTIONS "-U__MINGW32__" from gaudi_add_dictionary directive

Marco Cattaneorequested to merge

removeWIN32 into master Mar 06, 2020

Overview 1
Commits 1
Pipelines 1
Changes 17

Only needed on Windows

Merge request reports

Assignee Loading

Reviewers Loading

Request review from

Loading

Time tracking Loading

Loading