summaryrefslogtreecommitdiffstats
path: root/doc/tools/makerst.py
diff options
context:
space:
mode:
authorRémi Verschelde <remi@verschelde.fr>2021-02-14 11:04:16 +0100
committerGitHub <noreply@github.com>2021-02-14 11:04:16 +0100
commitff9cd8d3740bab51521aacd6943cea207b457ad7 (patch)
treee1c2be7ede5ab5a1aca466f3fe192750f30622b7 /doc/tools/makerst.py
parentdb9ad80b63201a83663d1324acfc611b9277ecc2 (diff)
parent4db47eb32e550fb1f2d8967907b66b2d41f09050 (diff)
downloadredot-engine-ff9cd8d3740bab51521aacd6943cea207b457ad7.tar.gz
Merge pull request #45968 from KoBeWi/do_not_SAVE
Don't save project settings when not necessary
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions