diff pyink/extensions.py @ 1512:89426a38752f

Remove unused code and variables for FSM_window
author Thinker K.F. Li <thinker@codemud.net>
date Tue, 10 May 2011 23:23:29 +0800
parents 2d56ed5b0995
children
line wrap: on
line diff