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 /platform/javascript/http_request.js | |
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 'platform/javascript/http_request.js')
0 files changed, 0 insertions, 0 deletions