Fixes line endings, related to #4235

This commit is contained in:
Daniel J. Hofmann 2017-07-07 15:09:51 +02:00 committed by Patrick Niklaus
parent 5ede5577d1
commit 175d27691d
2 changed files with 569 additions and 569 deletions