diff StateManager.py @ 189:5a39cb142d97

tiny changes from 7.18 show
author dmcc
date Sun, 20 Jul 2003 06:20:20 +0000
parents 45b12307c695
children
line wrap: on
line diff