Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of
.bzr files (Bazaar management files) in VCS clause (see 12043 in v8.2 branch). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12044 85f007b7-540e-0410-9357-904b9bb8a0f7
- Loading branch information