bug #1355: Fixed wrong line-endings on two files

(grafted from 22f7d398e22328ae96f5095e943ab1d46d87efc4
)
This commit is contained in:
Christoph Hertzberg 2016-12-02 11:22:05 +01:00
parent 723ed92e0e
commit 91864f85d3
2 changed files with 605 additions and 605 deletions