| commit | b1f750527601db95bf888485ae79acf073261df5 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Fri Feb 18 00:25:37 2005 +0000 |
| committer | david_williams <david_williams> | Fri Feb 18 00:25:37 2005 +0000 |
| tree | 9235e39faf3675bd4b7aa3c3f639c397ab47b6f2 | |
| parent | c5f3c431c9c3812c28a906d613c4283708018a62 [diff] [blame] |
[85776] preliminary infrastructure for document folding in wtp source editors
diff --git a/bundles/org.eclipse.wst.xml.ui/.options b/bundles/org.eclipse.wst.xml.ui/.options new file mode 100644 index 0000000..5acae8f --- /dev/null +++ b/bundles/org.eclipse.wst.xml.ui/.options
@@ -0,0 +1 @@ +org.eclipse.wst.xml.ui/projectionperf=false