diff options
| author | Gaëtan Gilbert | 2018-12-20 14:08:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-20 14:08:26 +0100 |
| commit | 495defa06e59ad64de650e2e0574139d33874730 (patch) | |
| tree | 27228d5b764ed549283d60b7d45cafeb7a42dc74 /kernel | |
| parent | b264bb65b8d985b2e5b1c5642dee317bcf8a9504 (diff) | |
Fix line ending issues
Try to mimick MSoegtropIMC
(https://github.com/coq/coq/pull/9243#issuecomment-448968353 )
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions