From 5aefe6adc89cf38621f8d7b332bcdaae7fb5c3d8 Mon Sep 17 00:00:00 2001
From: Sergey Ignatov <sergey.ignatov@jetbrains.com>
Date: Tue, 12 Aug 2014 15:16:44 +0400
Subject: [PATCH] remove outdated searchable options

---
 resources-en/src/search/searchableOptions.xml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/resources-en/src/search/searchableOptions.xml b/resources-en/src/search/searchableOptions.xml
index 86e76b805242..d95b6a1cce81 100644
--- a/resources-en/src/search/searchableOptions.xml
+++ b/resources-en/src/search/searchableOptions.xml
@@ -4906,10 +4906,6 @@
     <option name="data" hit="Data View" />
     <option name="view" hit="Data View" />
     <option name="database" hit="Database" />
-    <option name="explicit" hit="Explicit parameter patterns (RegExp):" />
-    <option name="parameter" hit="Explicit parameter patterns (RegExp):" />
-    <option name="patterns" hit="Explicit parameter patterns (RegExp):" />
-    <option name="regexp" hit="Explicit parameter patterns (RegExp):" />
     <option name="column" hit="Include column names" />
     <option name="include" hit="Include column names" />
     <option name="names" hit="Include column names" />