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...