org.symbian.tools.wrttools.editing/preferences.ini
changeset 39 eb7d9e33e288
parent 38 954dbf7baac6
child 40 9bebb93c6833
--- a/org.symbian.tools.wrttools.editing/preferences.ini	Wed Jan 20 18:00:15 2010 -0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-preview.autorefresh=prompt
\ No newline at end of file