diff StateManager.py @ 153:ed277a009f57

new xml format
author drewp
date Mon, 07 Jul 2003 06:25:40 +0000
parents 45b12307c695
children
line wrap: on
line diff