X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2F.cvsignore;h=6d5357c015ab6f0b7ee7074381afdd3da82e06eb;hb=0b01eb8d16b9ff48657aceec17d68522b2a3cfdf;hp=378eac25d311703f3f2cd456d8036da525cd0366;hpb=dfd552d50cd0c46bb67335d292841f8b88154a22;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