diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-17 09:31:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-17 09:31:13 +0100 |
| commit | 13e9ee50fecaea1f1b61541345964419335adb6b (patch) | |
| tree | d7923b4529b40397e10faa729527851740e58f0c /scene/gui | |
| parent | 7c7eda876aaf7a24e789285b9c7b8fd2f3fd41fb (diff) | |
| parent | 6861886f706af841442d599570d5f163cf0688ce (diff) | |
Merge pull request #16759 from PJB3005/18-02-16-final-newline-editorconfig
Enforce insert_final_newline in the editorconfig.
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions