diff options
Diffstat (limited to 'server-beta/src/searcher-old/goto.lua')
| -rw-r--r-- | server-beta/src/searcher-old/goto.lua | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/server-beta/src/searcher-old/goto.lua b/server-beta/src/searcher-old/goto.lua deleted file mode 100644 index 8698eef1..00000000 --- a/server-beta/src/searcher-old/goto.lua +++ /dev/null @@ -1,16 +0,0 @@ -local guide = require 'parser.guide' - -local m = {} - -function m:eachDef(source, callback) - local name = source[1] - local label = guide.getLabel(source, name) - if label then - callback { - source = label, - uri = self.uri, - } - end -end - -return m |