[z3-checkins] r26130 - z3/jsonserver/branch/merge/utils
reebalazs at codespeak.net
reebalazs at codespeak.net
Sat Apr 22 11:54:26 CEST 2006
Author: reebalazs
Date: Sat Apr 22 11:54:25 2006
New Revision: 26130
Modified:
z3/jsonserver/branch/merge/utils/pyclient (props changed)
Log:
Setting up utils
More information about the z3-checkins
mailing list