X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2F.cvsignore;fp=config%2F.cvsignore;h=0000000000000000000000000000000000000000;hb=5f53ff1a746b0654bf3ea93ed4280b74f0cf2201;hp=282522db0342d8750454b3dc162493b5fc709cc8;hpb=73f67789df91a09ee91976434fb15c2ee1fb5e78;p=pspp diff --git a/config/.cvsignore b/config/.cvsignore deleted file mode 100644 index 282522db03..0000000000 --- a/config/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -Makefile -Makefile.in