tree 738e887be4210417fb40fcfaaf94cf2f8262ab0e
parent ac62569fd019403c9e4d2cbc586dfcbb0f6e5ef9
author Jack Jansen <jack.jansen@cwi.nl> 873724969 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 873724969 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%408755

The preference resource now has a version number