* src/vm/properties.c (properties_add): Replace entry if it already
authortwisti <none@none>
Fri, 17 Nov 2006 15:47:28 +0000 (15:47 +0000)
committertwisti <none@none>
Fri, 17 Nov 2006 15:47:28 +0000 (15:47 +0000)
commitfda335310fed05944cb776186380e467f852ec0a
tree6c7d608d501c10a34d3d536b8104176d9cdccfa3
parentb0f8dfe2fb3c5f86b1c964c8e144bc0b768bd65c
* src/vm/properties.c (properties_add): Replace entry if it already
exists.
src/vm/properties.c