[PPL-devel] [GIT] ppl/ppl(master): Put under Git control.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Aug 28 14:05:20 2010 +0200

Put under Git control.

---

 demos/ppl_pips/.gitignore |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/demos/ppl_pips/.gitignore b/demos/ppl_pips/.gitignore
new file mode 100644
index 0000000..86de488
--- /dev/null
+++ b/demos/ppl_pips/.gitignore
@@ -0,0 +1,2 @@
+obtained
+ppl_pips