diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-11 14:17:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-11 14:17:53 +0100 |
| commit | 02e616b4ef00b7c541055673608db935938c2ecf (patch) | |
| tree | ed16060c6fd0a22559d117b425c7d8f04a2ac635 /tools/scripts/file-hex-array.py | |
| parent | 7751a933a924ddd3c96369c5f54c3e60450a6d04 (diff) | |
| parent | 70cce6152d32b8a4e5fdfee52e2bb873c92551e5 (diff) | |
Merge pull request #6998 from volzhs/fix-editor-settings
Fix resetting to default value in EditorSettings
Diffstat (limited to 'tools/scripts/file-hex-array.py')
0 files changed, 0 insertions, 0 deletions