diff tools/editor/settings-dist.xml @ 614:567d53c1c010

Added the ability to specify the default settings filename. Also added the serializer get property.
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Mon, 27 Sep 2010 14:02:59 +0000
parents b2feacaed53c
children 6e53cc43402e
line wrap: on
line diff