id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
178	Inisource en release0.5	jconde		"En mms + branch release0.5, se ha cambiado el nombre del archivo
source/_inisource.tol para source/_ini_source.tol. Este archivo se incluye
en _iniproject.tol, pero este depende de _iniproject.tol.seed! Si se
cambia un "".seed"" hay que avisar a la ""comunidad"", pues el cambio tiene
que ser hecho por el usuario, ya que el archivo que figura en el cvs no es
el que se usa finalmente."	defect	closed	blocker		General	fixed