diff runtime/README @ 873:a331ce9bc749

fix unnecessary revisions.h regeneration and mars.c recompilation
author elrood
date Mon, 05 Jan 2009 21:11:47 +0100
parents 85e2093edd73
children 2ddee23bd70e
line wrap: on
line diff