From ac4b2bd6748601a178842b0ee84ecf540a506291 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 24 Nov 2015 19:58:07 +0100 Subject: [PATCH] Add temporalia subdirectories into .gitignore. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 53dd296bb..80ad7672b 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ *.toc *.*~ *~ +temporalia