X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2F.cvsignore;fp=src%2Futils%2F.cvsignore;h=13d683392b62497d6c67f344067b5d0d7bbafd7d;hb=837e5b7fb902bd749106309ef76a5276c73ca34c;hp=b0175f571ffe458b143edc7ec30d55c78571a23b;hpb=58b5b585e7efb4ce7ffc3d7374fb9f5afc601a0f;p=pintos-anon diff --git a/src/utils/.cvsignore b/src/utils/.cvsignore index b0175f5..13d6833 100644 --- a/src/utils/.cvsignore +++ b/src/utils/.cvsignore @@ -1 +1,2 @@ setitimer-helper +squish-pty