Rename .cvsignore files to .gitignore.

[pintos-anon] / src / examples / .cvsignore

diff --git a/src/examples/.cvsignore b/src/examples/.cvsignore
deleted file mode 100644 (file)
index a9e09d7..0000000
--- a/src/examples/.cvsignore
+++ /dev/null
@@ -1,19 +0,0 @@
-cat
-cmp
-cp
-echo
-halt
-hex-dump
-ls
-mcat
-mcp
-mkdir
-pwd
-rm
-shell
-bubsort
-insult
-lineup
-matmult
-recursor
-*.d