[tor-commits] [orbot/master] delete as it should not be as subproject

[n8fr8 at torproject.org]

commit 72a017369b8bdb9ed2494f7a24fdb1bcb00f0455
Author: SandroB <supp.sandrob at gmail.com>
Date:   Sun Jan 25 12:06:02 2015 +0100

    delete as it should not be as subproject
---
 external/badvpn_dnsfix |    1 -
 1 file changed, 1 deletion(-)

diff --git a/external/badvpn_dnsfix b/external/badvpn_dnsfix
deleted file mode 160000
index c639c8c..0000000
--- a/external/badvpn_dnsfix
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c639c8c305bd51fbe178f1b83f8c1ba8730a7e17