diff options
author | Aleksey Kladov <[email protected]> | 2019-11-06 09:40:28 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-11-06 09:40:28 +0000 |
commit | 5efd99a6e0a229d40106811188f6afd58dd97399 (patch) | |
tree | 0254b248a3d4faa09677287746ec58cbf01bc512 /docs/user | |
parent | 4fbb36db9b4e7b3416daccc6b9a62f97ae12d6a3 (diff) |
Ignore line-endings when checking generated files for freshness
closes #2184
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions