Module: ppl/ppl Branch: master Commit: 8c039f1512c66cac197023360216fd955ff8b836 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c039f1512c66...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Apr 16 21:42:54 2016 +0200

Pattern improved.

---

.gitignore | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/.gitignore b/.gitignore index d6d2359..e379231 100644 --- a/.gitignore +++ b/.gitignore @@ -15,7 +15,7 @@ Makefile Makefile.in #*# aclocal.m4 -autom4te.cache +autom4te.cache/ confdefs.h config.cache config.h