Martin Tournoij 25f3a146a0 patch 9.0.0700: there is no real need for a "big" build ...

Problem:    There is no real need for a "big" build.
Solution:   Move common features to "normal" build, less often used features
            to the "huge" build. (Martin Tournoij, closes #11283)

2022-10-08 19:26:41 +01:00

..

configure

patch 9.0.0700: there is no real need for a "big" build

2022-10-08 19:26:41 +01:00