- 03 Oct, 2017 1 commit
-
-
Stefan Tauner authored
They are not useful in git. If need be they could be implemented by a fudge/clean filter with git attributes.
-
- 29 Aug, 2016 2 commits
-
-
Christian Fibich authored
cleanup
-
Christian Fibich authored
-
They are not useful in git. If need be they could be implemented by a fudge/clean filter with git attributes.
