From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Wed, 15 Jun 2011 00:27:12 +0000 (-0700)
Subject: pull baked-in branch automatically if correct coq version not found
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=09ecf444dc69f6d0129605b46aaa88531bbb6b87;hp=09ecf444dc69f6d0129605b46aaa88531bbb6b87

pull baked-in branch automatically if correct coq version not found
---