From 1d9328af944d2f28978b8076709c7cf8e7e71703 Mon Sep 17 00:00:00 2001 From: merakor Date: Sun, 20 Dec 2020 10:09:12 +0000 Subject: gitignore: ignore info pages FossilOrigin-Name: 76cd9b63c30232bed853594008c3ba5185452bc703649089a758f39949b060b3 --- .gitignore | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 6a09127..3744e4c 100644 --- a/.gitignore +++ b/.gitignore @@ -14,4 +14,7 @@ getopt [._]*.sw[a-p] [._]s[a-rt-v][a-z] [._]ss[a-gi-z] -[._]sw[a-p] \ No newline at end of file +[._]sw[a-p] + +### Texinfo ### +*.info -- cgit v1.2.3