diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2021-09-11 20:28:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-11 20:28:44 +0200 |
commit | 9d629fa7fb9f3d69395ba49d6fb80186f8d6a789 (patch) | |
tree | 0e8a7cfd98a3c094e3688ca62ac5eb85df182c9c /editor/doc_tools.cpp | |
parent | 60ed3fbf658e6338be6505410a7fed289dec500b (diff) | |
parent | 9c6ae95cb2a44dcc3235b896252c7dadabfe533d (diff) |
Merge pull request #52574 from Calinou/doc-configfile-extension
Document that ConfigFiles can use any file extension
Diffstat (limited to 'editor/doc_tools.cpp')
0 files changed, 0 insertions, 0 deletions