Rename tools-webrtc -> tools_webrtc

tools-webrtc/ios/build_ios_libs.sh

Index: tools-webrtc/ios/build_ios_libs.sh
diff --git a/tools-webrtc/ios/build_ios_libs.sh b/tools-webrtc/ios/build_ios_libs.sh
deleted file mode 100755
index c8d659c7e6808718a3fc0896aac1d0d431d3af12..0000000000000000000000000000000000000000
--- a/tools-webrtc/ios/build_ios_libs.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-#  Copyright 2017 The WebRTC project authors. All Rights Reserved.
-#
-#  Use of this source code is governed by a BSD-style license
-#  that can be found in the LICENSE file in the root of the source
-#  tree. An additional intellectual property rights grant can be found
-#  in the file PATENTS.  All contributing project authors may
-#  be found in the AUTHORS file in the root of the source tree.
-
-# This script has been rewritten in Python. Temporary "redirect":
-
-SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
-
-exec "$SCRIPT_DIR/build_ios_libs.py" "$@"