Add git support to oasis-dist
Add git support to oasis-dist

Ignore-this: 5dff19ca30d6fffc17db0d5c50a7eb4d

darcs-hash:20110715130203-a43a9-68f6b3c7c02b733b966f0203814201e7d1986368.gz

mor1/oasis,mor1/oasis