summaryrefslogtreecommitdiff
path: root/docs/dev/makefile.rst
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2020-11-27 19:32:45 +0100
committerAlexandre Flament <alex@al-f.net>2020-11-27 19:40:04 +0100
commitb4b81a5e1a74f03926e3c2e6f8c5fade99f7eabb (patch)
treef72272f8c132759a2e792765632352a38007d1ba /docs/dev/makefile.rst
parent1cfe7f2a7543b2994a1afd0d81da1962d04423b0 (diff)
[enh] settings.yml: add use_default_settings option (2nd version)
Diffstat (limited to 'docs/dev/makefile.rst')
0 files changed, 0 insertions, 0 deletions