tree 04e2327d874f9ebf542f9c42e13757a85010261e
parent 31e2d7354f2251de51fde14a338b73fe8e96e9b2
author Jack Jansen <jack.jansen@cwi.nl> 957737246 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 957737246 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4015370

Changed for the new preference resource version.