mirror of
https://github.com/qgis/QGIS.git
synced 2025-02-28 00:17:30 -05:00
Either these options are desirable, in which case they should be the default settings, or not, in which case we don't need an extra user option to control this.