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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 8 07:47:27 2009 +0200

Put under Git control.

---

.gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b25c15b --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +*~