Revision 85bf9c87d1a6e70343671bbda98cb8a19df644aa

Committed on 08/03/2017 3:25 pm by Björn Dieding <[email protected]> [GitHub Diff]

Create .gitconfig