guillon/deptools — pull request #7 by Romain-Geissler (2012-09-23 14:09:16+00:00)
Title: Git simplifications.

Added some git simplifications.