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=b96f2786cf76cac1b6e75505b89b3635de3c84c2;hb=2a7028b32e0b34edc8d3d570af1d0d810bea36b4;hp=13d683392b62497d6c67f344067b5d0d7bbafd7d;hpb=392931f3f604f0c8ceb7d97dba21c7fefa2a2187;p=pintos-anon diff --git a/src/utils/.cvsignore b/src/utils/.cvsignore index 13d6833..b96f278 100644 --- a/src/utils/.cvsignore +++ b/src/utils/.cvsignore @@ -1,2 +1,3 @@ setitimer-helper squish-pty +squish-unix