From: Ben Pfaff Date: Tue, 19 Jul 2005 03:40:16 +0000 (+0000) Subject: Ignore *.d files. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a1626e2892423d2acf3f4a539183d3adc945cc2;p=pintos-anon Ignore *.d files. --- diff --git a/src/examples/lib/.cvsignore b/src/examples/lib/.cvsignore index e69de29..a438335 100644 --- a/src/examples/lib/.cvsignore +++ b/src/examples/lib/.cvsignore @@ -0,0 +1 @@ +*.d diff --git a/src/examples/lib/user/.cvsignore b/src/examples/lib/user/.cvsignore new file mode 100644 index 0000000..a438335 --- /dev/null +++ b/src/examples/lib/user/.cvsignore @@ -0,0 +1 @@ +*.d diff --git a/src/examples/lib/user/.dummy b/src/examples/lib/user/.dummy deleted file mode 100644 index e69de29..0000000