11 Apr
2007
11 Apr
'07
6:27 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-04-11 06:27:23
Modified files: utils : Makefile.am
Log message: List cm_cleaner.sh and cm_splitter.sh in dist_noinst_SCRIPTS, not noinst_SCRIPTS (problem reported by Stefano Soffia).
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroot...