From 0912d5ebbe0fa45bb6e3b1dbe65864be5d8c2eb0 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 21 Feb 2016 12:43:53 -0800 Subject: [PATCH] tools: git ignore --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index f3c9331c7..72a697e86 100644 --- a/.gitignore +++ b/.gitignore @@ -29,3 +29,5 @@ ttt.* tttt.* ttttt.* profs/* +shake +test.hs