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)
Add an option for customizing git working tree


Trivial merge