Rename .cvsignore files to .gitignore.

[pintos-anon] / src / .cvsignore

diff --git a/src/.cvsignore b/src/.cvsignore
deleted file mode 100644 (file)
index 0ab34c0..0000000
--- a/src/.cvsignore
+++ /dev/null
@@ -1,4 +0,0 @@
-cscope.files
-cscope.out
-TAGS
-tags