diff options
| author | David King <amigadave@amigadave.com> | 2014-10-13 16:02:11 +0100 |
|---|---|---|
| committer | David King <amigadave@amigadave.com> | 2014-10-13 16:03:51 +0100 |
| commit | 1ed1284584db85fe921454e500c2f5137d5df077 (patch) | |
| tree | d7242fb65ccdbbf44aa92cce1ac3c7f787010e08 | |
| parent | c89a35a5f75fcb24fc680768555dabe3c266458b (diff) | |
| download | gnome-user-docs-1ed1284584db85fe921454e500c2f5137d5df077.tar.gz | |
Tweak gitignore to unignore pages in gnome-help/C
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -16,4 +16,5 @@ Makefile.in /gnome-help/*/*.page /gnome-help/*/*.stamp /gnome-help/*/legal.xml -!/gnome-help/C +!/gnome-help/C/*.page +!/gnome-help/C/legal.xml |