From 93ea7e5589b0a98b45d67969303056a979526b0f Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Thu, 5 Jan 2017 17:23:22 -0800 Subject: [PATCH] Update .gitignore. --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index 15405af88..0a2391dc3 100644 --- a/.gitignore +++ b/.gitignore @@ -32,6 +32,8 @@ /pc/ /svm/ /svm1/ +/ubuntu-*/ +/ubuntu/ TAGS changelog.txt doc/*/*.aux @@ -52,6 +54,7 @@ doc/*/*.pg doc/*/*.ps doc/*/*.toc doc/*/*.tp +doc/*/*.tps doc/*/*.vr doc/*/*.vrs doc/Makefile -- 2.25.1