X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2F.cvsignore;fp=src%2Fuserprog%2F.cvsignore;h=6d5357c015ab6f0b7ee7074381afdd3da82e06eb;hb=d219da811a344ddf0f22649c1833cfe93ffb9a12;hp=378eac25d311703f3f2cd456d8036da525cd0366;hpb=def2722008474d6026e4db59564b5d2abacf11a4;p=pintos-anon

diff --git a/src/userprog/.cvsignore b/src/userprog/.cvsignore
index 378eac2..6d5357c 100644
--- a/src/userprog/.cvsignore
+++ b/src/userprog/.cvsignore
@@ -1 +1,3 @@
 build
+bochsrc.txt
+bochsout.txt