From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 27 Feb 2016 22:53:59 +0000 (-0800)
Subject: gui: Add some generated files to .gitignore files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=2036c1d4f7e6e5a046d3d5d8a19c928cde00781a

gui: Add some generated files to .gitignore files.

Reported by Friedrich Beckmann.
Bug #47265.
---

diff --git a/src/ui/gui/artwork/.gitignore b/src/ui/gui/artwork/.gitignore
new file mode 100644
index 0000000000..ada1dfaa18
--- /dev/null
+++ b/src/ui/gui/artwork/.gitignore
@@ -0,0 +1,2 @@
+splash-r.svg
+splash-t.svg
diff --git a/src/ui/gui/icons/.gitignore b/src/ui/gui/icons/.gitignore
index b65b63fad9..31d0202e65 100644
--- a/src/ui/gui/icons/.gitignore
+++ b/src/ui/gui/icons/.gitignore
@@ -1,3 +1,4 @@
+about-logo.png
 actions/
 apps/
 categories/
@@ -5,3 +6,5 @@ icon-names.c
 manifest
 mimetypes/
 splash.png
+splash-r.png
+splash-t.png