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

Re: Bug#516777: please ship git helpers specific to d-o-m (checkout, new-git-repo, ...)



On 23-02-2009, Mehdi Dogguy <mehdi.dogguy@pps.jussieu.fr> wrote:
>
>
> Stefano Zacchiroli wrote:
>> 

I vote for this one:

> - dom-checkout
> - dom-mrconfig
> - dom-new-repo

Allow to list all tools by using "dom-" + completion

Regards,
Sylvain Le Gall


Reply to: