summaryrefslogtreecommitdiff
path: root/doc/tools
diff options
context:
space:
mode:
authorQbieShay <cislaghi.ilaria@gmail.com>2019-02-04 22:59:51 +0100
committerQbieShay <cislaghi.ilaria@gmail.com>2019-02-12 21:24:07 +0100
commitc4eb974a8a73eabc29dd3be47b09969a4348fa20 (patch)
tree6cb120496111ee367f656f8999aa73a3382ec304 /doc/tools
parent16d402147b9057c9f7d43ef9b46eb8654e5483cc (diff)
Added a setting for files in which the editor should search (project wise).
Remembers the tickboxes but only during the same execution Fixes #25440
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions