diff options
author | David King <amigadave@amigadave.com> | 2013-04-30 17:10:02 +0100 |
---|---|---|
committer | David King <amigadave@amigadave.com> | 2013-06-18 17:46:53 +0100 |
commit | b6f54a7ffdedfac4bf0036aa3ad0b636411a9ba7 (patch) | |
tree | aaaa73d4ca8206607fd2c32f278318ea318dd162 /.gitignore | |
parent | 9d0362143f84723cbcb0b08d91aae18221cbe1e5 (diff) | |
download | gnome-user-docs-b6f54a7ffdedfac4bf0036aa3ad0b636411a9ba7.tar.gz |
Ignore more generated files in .gitignore
https://bugzilla.gnome.org/show_bug.cgi?id=702580
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -11,5 +11,8 @@ Makefile.in /install-sh /missing /gnome-doc-utils.make -/gnome-help/??/*.page -/gnome-help/??/legal.xml +/gnome-help/*/*.mo +/gnome-help/*/*.page +/gnome-help/*/*.stamp +/gnome-help/*/legal.xml +!/gnome-help/C |