Google Git
Sign in
eclipse/platform/eclipse.platform.text/2f55fffaedd81f5cdd632687fb0f9a6c2eeea0b7/./org.eclipse.search/.options
blob: f80dc7bac7d8480f7d0d78a796bb289fb3c38fdb [file]
# Debugging options for the org.eclipse.search plug-in
# Reports performance of text searches
org.eclipse.search/perf=false