[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new dire
From: |
Stefano Lattarini |
Subject: |
[off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories) |
Date: |
Thu, 13 Dec 2012 18:04:10 +0100 |
Ah, we all git lovers still forced to deal with that living fossil
of CVS!
Wouldn't it be great if someone could convince the Savannah admin
to switch the web pages repository to a modern, distributed VCS?
(Me ducks and run now ;-).
Regards,
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
- [off-list] CVS pains (was: Re: gnu-web-doc-update: fails to add new directories),
Stefano Lattarini <=
- Re: CVS pains, Jim Meyering, 2012/12/13
- Re: CVS pains, Stefano Lattarini, 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, 2012/12/14
- 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