[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing pattern.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 26 20:39:45 CEST 2009
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 3cebc86fa1c4b43f293a5d992cd3814351a3d30c
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4b43f293a5d992cd3814351a3d30c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Apr 26 20:39:06 2009 +0200
Added missing pattern.
---
interfaces/Prolog/tests/.gitignore | 5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/interfaces/Prolog/tests/.gitignore b/interfaces/Prolog/tests/.gitignore
index 5a99aff..f1bc771 100644
--- a/interfaces/Prolog/tests/.gitignore
+++ b/interfaces/Prolog/tests/.gitignore
@@ -1,7 +1,8 @@
ppl_predicate_check.pl
ppl_predicate_check_[A-Z]*.pl
ppl_predicate_check_main.pl
-predicate_check_all
+ppl_prolog_generated_test.stamp
ppl_prolog_generated_test_[A-Z]*.pl
+ppl_prolog_generated_test_blob
ppl_prolog_generated_test_main.pl
-ppl_prolog_generated_test.stamp
+predicate_check_all
More information about the PPL-devel
mailing list