From 8273e1716c0d1dc80db3ae7b1d418562ce62fc2f Mon Sep 17 00:00:00 2001 From: Paul Garlick Date: Fri, 29 Nov 2019 13:29:26 +0000 Subject: instruct git to ignore info files. --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/.gitignore (limited to 'doc') diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..bf12a97 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +*.info -- cgit