[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new
From: |
Stefano Lattarini |
Subject: |
Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories) |
Date: |
Fri, 14 Dec 2012 09:40:50 +0100 |
On 12/13/2012 11:53 PM, Karl Berry wrote:
>
> 3) Everyone agrees it would be nice to support different VCs for web
> pages. Nobody needs "convincing".
>
This is good to know.
> Maybe it will happen some day.
>
I hope so. It's not a big deal actually (since as Jim noted,
most of the process is hidden and/or automated away), but is
still another little grating annoyance that would be nice to
finally see disappear.
Thanks,
Stefano
- gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/13
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/13
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/13
- Re: [off-list] CVS pains, Simon Josefsson, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories), Karl Berry, 2012/12/13
- Re: [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories),
Stefano Lattarini <=
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/14
- Re: [off-list] CVS pains, Karl Berry, 2012/12/14
- Re: [off-list] CVS pains, Thien-Thi Nguyen, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/13
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/14
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Jim Meyering, 2012/12/15
- Re: gnu-web-doc-update: fails to add new directories, Akim Demaille, 2012/12/16