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