comparison gen/typeinf.h @ 873:a331ce9bc749

fix unnecessary revisions.h regeneration and mars.c recompilation
author elrood
date Mon, 05 Jan 2009 21:11:47 +0100
parents eef8ac26c66c
children 450897f5aae9
comparison
equal deleted inserted replaced
872:aa953cc960b6 873:a331ce9bc749