From 4d59f3a805d0cca882caab353ac8ec0dd4c04f73 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Sun, 18 May 2014 18:21:18 +0200 Subject: Begin work on interface with Apron --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 17ef805..ca7415d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ *.swp _build -analyzer +analyze +*~ -- cgit v1.2.3