PadreIDE/Padre-Plugin-Git — pull request #4 by kevindawson (2013-09-14 23:55:18+00:00)
Title: version 0.12 now bassed on github

various hacks
to v0.12
inc moving to github