CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-10-11 10:56:50 Removed files: . : configure.repo Watchdog : configure.repo Log message: The configure.repo files do not solve the problem they were meant to solve. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.repo.diff?c...