[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: problems with git repo ?

On Thu, Nov 12, 2009 at 09:11:48PM +0100, Ralf Treinen wrote:
> is there a problem with our central git repositrory ?
> % checkout-d-o-m-git-repo bibex2html

Unrelated, but you might want to use dom-git-checkout instead, which is
now in dh-ocaml, shipped under /usr/bin (and hence in PATH), ... and
comes with a manpage!


Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime

Attachment: signature.asc
Description: Digital signature

Reply to: