From 368a0b045d3df1aa126458cf485e07eab153924d Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 1 Jul 2014 10:57:14 +0200 Subject: Finish up EDDs --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index e6c5390..4483b8c 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,6 @@ analyze # Menhir automaton data *.conflicts *.automaton + +# Plots +graphs/* -- cgit v1.2.3