X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fexamples%2F.cvsignore;h=a0725c622bf8389c4b54886edada3abc1e746323;hp=28574b016dd5f7dd9330cb06c78eebdf474dcaca;hb=c0589e684868434f2293ea5ef12e15f54c279911;hpb=872c41a62e291a3a277188c02e32674841f670c2 diff --git a/src/examples/.cvsignore b/src/examples/.cvsignore index 28574b0..a0725c6 100644 --- a/src/examples/.cvsignore +++ b/src/examples/.cvsignore @@ -5,6 +5,7 @@ echo halt hex-dump ls +mcat mcp mkdir rm