From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 28 Sep 2013 20:02:40 +0000 (-0700)
Subject: Ignore some files that are used for the build but not checked in.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=929c4c1db21356da304f3ec2602651d5e322648c;p=pspp

Ignore some files that are used for the build but not checked in.
---

diff --git a/build-aux/snippet/.gitignore b/build-aux/snippet/.gitignore
new file mode 100644
index 0000000000..88b6db4b88
--- /dev/null
+++ b/build-aux/snippet/.gitignore
@@ -0,0 +1,5 @@
+_Noreturn.h
+arg-nonnull.h
+c++defs.h
+unused-parameter.h
+warn-on-use.h
diff --git a/src/ui/gui/icons/.gitignore b/src/ui/gui/icons/.gitignore
new file mode 100644
index 0000000000..5fb6147abb
--- /dev/null
+++ b/src/ui/gui/icons/.gitignore
@@ -0,0 +1,8 @@
+about-logo.png
+actions/
+apps/
+categories/
+icon-names.c
+manifest
+mimetypes/
+splash.png