diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-06 09:41:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-06 09:41:33 +0000 |
commit | d222608a45d53ca7a1bbc9f0126a092fda48503c (patch) | |
tree | 0254b248a3d4faa09677287746ec58cbf01bc512 /editors/code/src/commands/on_enter.ts | |
parent | 4fbb36db9b4e7b3416daccc6b9a62f97ae12d6a3 (diff) | |
parent | 5efd99a6e0a229d40106811188f6afd58dd97399 (diff) |
Merge #2188
2188: Ignore line-endings when checking generated files for freshness r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/commands/on_enter.ts')
0 files changed, 0 insertions, 0 deletions