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

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