[GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.

Module: ppl/ppl Branch: bounded_arithmetic Commit: 78db7e67c067fb1afeba41e78bebfed819b55fe3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067f...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 1 14:21:44 2009 +0200
Added missing patterns.
---
interfaces/Prolog/.gitignore | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-)
diff --git a/interfaces/Prolog/.gitignore b/interfaces/Prolog/.gitignore index f6664cf..1bac52a 100644 --- a/interfaces/Prolog/.gitignore +++ b/interfaces/Prolog/.gitignore @@ -1,6 +1,8 @@ Prolog_configured_interface.dox ppl_prolog_[A-Z]*.cc ppl_prolog_[A-Z]*.hh +ppl_prolog_cc_blob ppl_prolog_domains.cc -ppl_prolog_domains.hh ppl_prolog_domains.cc.stamp +ppl_prolog_domains.hh +ppl_prolog_hh_blob
participants (1)
-
Roberto Bagnara