Sign in
eclipse
/
platform
/
eclipse.platform.text
/
3e59edd77535744f1ee0a23a8db5be99d7d3f8c9
/
.
/
org.eclipse.search
/
.options
blob: f80dc7bac7d8480f7d0d78a796bb289fb3c38fdb [
file
] [
log
] [
blame
]
# Debugging options for the org.eclipse.search plug-in
# Reports performance of text searches
org
.
eclipse
.
search
/
perf
=
false