diff options
Diffstat (limited to 'gnulib/doc/.gitignore')
| m--------- | gnulib | 0 | ||||
| -rw-r--r-- | gnulib/doc/.gitignore | 22 |
2 files changed, 22 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/doc/.gitignore b/gnulib/doc/.gitignore new file mode 100644 index 0000000..68fb604 --- /dev/null +++ b/gnulib/doc/.gitignore @@ -0,0 +1,22 @@ +gnulib.aux +gnulib.cn +gnulib.cp +gnulib.cps +gnulib.fn +gnulib.ky +gnulib.log +gnulib.pg +gnulib.toc +gnulib.tp +gnulib.vr +gnulib.vrs +gnulib.info +gnulib.info-1 +gnulib.info-2 +gnulib.info-3 +gnulib.info-4 +gnulib.info-5 +gnulib.info-6 +gnulib.html +gnulib.pdf +updated-stamp |