X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fexamples%2F.cvsignore;h=a9e09d73308ea73514230cc3b437b5435c85b268;hp=28574b016dd5f7dd9330cb06c78eebdf474dcaca;hb=b0a8de6745aebfd327a693c88196e211e523dbc1;hpb=f52927b361af572818c9ff885eba9e1ca1fe22f9 diff --git a/src/examples/.cvsignore b/src/examples/.cvsignore index 28574b0..a9e09d7 100644 --- a/src/examples/.cvsignore +++ b/src/examples/.cvsignore @@ -5,8 +5,10 @@ echo halt hex-dump ls +mcat mcp mkdir +pwd rm shell bubsort