-
Pekka Pessi authored
Renumbered the transitions on server side so that they match with transitions on client side. darcs-hash:20051012183748-65a35-ce8db3ae79c04ee58ccd63ddc352edf91da545d0.gz
4df15520
Renumbered the transitions on server side so that they match with transitions on client side. darcs-hash:20051012183748-65a35-ce8db3ae79c04ee58ccd63ddc352edf91da545d0.gz