On Tue, Feb 8, 2011 at 10:43 PM, Ralf Angeli <[email protected]> wrote: >> (BTW: Is there any reason to stick to CVS instead of switching to >> something modern like git, which savannah also provides?) > > Not really. I'm just not convinced the benefit of switching would > outweigh the effort.
I agree with Tassilo, that would allow us to get rid of cvs entirely. Moreover, that would let me easily handle the 2 patches I sent to the mailing list that were not merged (yet?). -- Damien Cassou http://damiencassou.seasidehosting.st "Lambdas are relegated to relative obscurity until Java makes them popular by not having them." James Iry _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
