Sign in
eclipse
/
platform
/
eclipse.platform.text
/
1a27e19c6ff1267be05cb2b833b2f977d7da2dfc
/
.
/
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
