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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Sep 29 20:48:17 2009 +0200

Put under Git control.

---

 htdocs/Documentation/BagnaraHZ09CGTA.pdf |  Bin 0 -> 347557 bytes
 1 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/htdocs/Documentation/BagnaraHZ09CGTA.pdf b/htdocs/Documentation/BagnaraHZ09CGTA.pdf
new file mode 100644
index 0000000..a66d364
Binary files /dev/null and b/htdocs/Documentation/BagnaraHZ09CGTA.pdf differ