Skip to content

Remove WIN32 dead code

Marco Cattaneo requested to merge removeWIN32-2017 into 2017-patches

See merge request !2467 (merged)

(cherry picked from commit a3be84fe)

Edited by Marco Cattaneo

Merge request reports