Bram Moolenaar eec2981bbe patch 7.4.2105 ...

Problem:    Configure reports default features to be "normal" while it is
            "huge".
Solution:   Change the default text.

2016-07-26 21:27:36 +02:00

..

configure

patch 7.4.2105

2016-07-26 21:27:36 +02:00