Nikolai B 11ee42c0ba remove outdated git option

2014-07-17 10:21:10 +01:00

..

gitconfig

remove outdated git option

2014-07-17 10:21:10 +01:00

gitignore

moved gitconfig and ignore to git directory. symlinks created but will be removed at some point.

2012-01-24 22:43:08 -05:00