1 files changed, 0 insertions, 7 deletions
diff --git a/src/or/dns.c b/src/or/dns.c
index 7593d2cf0..2d2914ff8 100644
--- a/src/or/dns.c
+++ b/src/or/dns.c
@@ -792,10 +792,3 @@ static void spawn_enough_dnsworkers(void) {
   }
 }
 
-/*
-  Local Variables:
-  mode:c
-  indent-tabs-mode:nil
-  c-basic-offset:2
-  End:
-*/