X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fuserprog%2F.cvsignore;h=b276a4960fe0f16188c6a0fd9b4980ce21d93332;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=422f695fc1e3d3cd75930d622d5f1167474e1192;hpb=ad3d6b23597a3ab6707e89355122a04499289965;p=pintos-anon

diff --git a/grading/userprog/.cvsignore b/grading/userprog/.cvsignore
index 422f695..b276a49 100644
--- a/grading/userprog/.cvsignore
+++ b/grading/userprog/.cvsignore
@@ -8,6 +8,7 @@ child-arg
 child-bad
 child-close
 child-simple
+null
 args-argc
 args-argv0
 args-argvn