# Last edited on 2001-11-20 14:39:25 by stolfi

all:
	transforma < extransf.txt > extransf.pl