Merge pull request #11 from danny0838/devel
authorWolfgang Gassler <wolfgang@gassler.org>
Sun, 20 Oct 2013 19:05:47 +0000 (12:05 -0700)
committerWolfgang Gassler <wolfgang@gassler.org>
Sun, 20 Oct 2013 19:05:47 +0000 (12:05 -0700)
commit5cebe0f8d24f97162b665fc936b1d059deca025a
tree9151d37c579c1a66e72d6a9a611aa858dc685257
parent2dbc1a5564516b801dbda239b68152edb5be0303
parent4eba9b4410a4f784af648e9143efe5d4aa10464a
Merge pull request #11 from danny0838/devel

Add an option for customizing git working tree