Rename .cvsignore files to .gitignore.
[pintos-anon] / src / .gitignore
diff --git a/src/.gitignore b/src/.gitignore
new file mode 100644 (file)
index 0000000..0ab34c0
--- /dev/null
@@ -0,0 +1,4 @@
+cscope.files
+cscope.out
+TAGS
+tags