diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-09-11 16:04:35 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-09-11 16:08:11 +0200 |
| commit | 9c6ae95cb2a44dcc3235b896252c7dadabfe533d (patch) | |
| tree | 0e8a7cfd98a3c094e3688ca62ac5eb85df182c9c /editor/action_map_editor.h | |
| parent | 60ed3fbf658e6338be6505410a7fed289dec500b (diff) | |
Document that ConfigFiles can use any file extension
The file extension given to a ConfigFile has no impact on its
formatting or behavior.
Diffstat (limited to 'editor/action_map_editor.h')
0 files changed, 0 insertions, 0 deletions