Diffusion Kile 570dba621f2c

Don't ask the user about resetting the tools when the config file is fresh/empty

Authored by mludwig on Aug 27 2017, 7:12 PM.

Description

Don't ask the user about resetting the tools when the config file is fresh/empty

Run the system check if versions below 2.9.91 ran it last.

Details

Committed
mludwigAug 27 2017, 7:12 PM
Parents
R468:eb657a669f19: Add a workaround for bug 384039 (deleted groups still appear in KConfigā€¦
Branches
Unknown
Tags
Unknown