History for server-setup / .gitconfig
2018-07-18
@Daniel Vedder
Sanitized some file entries.
Daniel Vedder committed on 18 Jul 2018
2018-07-10
@Daniel Vedder
Added .gitconfig, adjusted README
Daniel Vedder committed on 10 Jul 2018