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

29 Sep 2009


      Module: ppl/w3ppl
Branch: master
Commit: 7a3f9b7c5a746bb3e53f0da87d9df3fdf6a629e4
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7a3f9b7c5a7...
Author: Roberto Bagnara bagnara@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