diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-25 23:20:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-25 23:20:39 +0200 |
| commit | 46441d585ba8d945cf86a550f335307782a8a444 (patch) | |
| tree | 3fc8be8156c31d559285942fb678d3e5812bfe0f /COPYRIGHT.txt | |
| parent | 8b1d9a00dcdc90936ff7adbbc0c165c4f38d4fb5 (diff) | |
| parent | 1c08d98ec887015f99e5139ee3687af78bbdd122 (diff) | |
Merge pull request #32835 from RobKohr/default-convert_indent_on_save-to-true
set convert_indent_on_save to default to true
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions