Remove duplicate _ definitions

2018-12-18 14:25:10 -08:00
parent c8d27f6424
commit e8e6c70e19
6 changed files with 6 additions and 35 deletions
--- a/ci/publish-book.sh
+++ b/ci/publish-book.sh
@@ -3,11 +3,6 @@ set -e

 cd "$(dirname "$0")/.."

-_() {
-  echo "--- $*"
-  "$@"
-}
-
 book/build.sh

 echo --- create book repo