X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fexamples%2F.cvsignore;h=a9e09d73308ea73514230cc3b437b5435c85b268;hb=2c01b318e4bc07464a59fe5d21bc520978d82540;hp=28574b016dd5f7dd9330cb06c78eebdf474dcaca;hpb=009b2b4793bdd1105d9dbe75fe008192ea63f12b;p=pintos-anon 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