# HG changeset patch
# User HackBot
# Date 1487121515 0
# Node ID db3819cef2c200383cc85e6c24da6fc9c3708c85
# Parent  5a6e97c9566d478f4f66091fe05ddf2adc8637c3
<oerjan> revert

diff -r 5a6e97c9566d -r db3819cef2c2 bin/?
--- a/bin/?	Wed Feb 15 01:16:34 2017 +0000
+++ b/bin/?	Wed Feb 15 01:18:35 2017 +0000
@@ -1,6 +1,5 @@
 #!/bin/bash
 topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//")
-topic1=$(echo '`'"$topic" | sed "s/^``//")
 topic1=$(echo "$topic" | sed "s/s$//")
 cd wisdom
 if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ];