Sign in
eclipse
/
platform
/
eclipse.platform.text
/
refs/tags/I20190711-0825
/
.
/
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