markleightonfisher/pmtools — pull request #2 by dolmen (2012-12-25 21:11:55+00:00)
Title: Repository cleanup

3 patches that cleanup the Git repository:
- fix file permissions for Unix
- remove unwanted files
- add some missing ignores to `.gitignore`