example42/Example42-tools — pull request #2 by DavidS (2013-02-06 19:57:54+00:00)
Title: Add a few useful git submodule snippets

I've used these snippets to massage the module tree into something locally usable. Apply to taste.