]> Savannah Git Hosting - gnulib.git/commitdiff
[backport] Assume gnulib is checked out from Git, not CVS
authorDmitry Selyutin <ghostmansd@gmail.com>
Sat, 9 Sep 2017 16:56:33 +0000 (19:56 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Sat, 9 Sep 2017 16:56:33 +0000 (19:56 +0300)
commit 435f1d7ad985d95a6000e55e3fc398300b04ba12
Author: Stefano Lattarini <stefano.lattarini@gmail.com>
Date:   Sat May 4 10:30:14 2013 +0200

    Assume gnulib is checked out from Git, not CVS

    In fact, access to the gnulib repository through CVS has been disabled,
    or more precisely, got broken and was never restored; see:
    <http://lists.gnu.org/archive/html/bug-gnulib/2013-05/msg00008.html>

pygnulib/filesystem.py

index 3c03f6e42c085d10462bab6887aaf3e8f78311af..266ee25f831cc3e896350ee0c3969ee2570e7816 100644 (file)
@@ -75,7 +75,6 @@ class Git(Directory):
         "."                 : str.startswith,
         "~"                 : str.endswith,
         "-tests"            : str.endswith,
-        "CVS"               : str.startswith,
         "ChangeLog"         : str.__eq__,
         "COPYING"           : str.__eq__,
         "README"            : str.__eq__,