# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1292945847 -3600
# Node ID ae211c0aece018af74aca0caa25917b021b2018c
# Parent  04cefcf6f4ac0b326fa0ce0006e1146c96e46916
del_double not used anymore

diff -r 04cefcf6f4ac -r ae211c0aece0 dnssec-keytool.pl
--- a/dnssec-keytool.pl	Tue Dec 21 16:20:16 2010 +0100
+++ b/dnssec-keytool.pl	Tue Dec 21 16:37:27 2010 +0100
@@ -4,12 +4,6 @@
 use strict;
 use FindBin;
 
-sub del_double {
-    my %all;
-    grep { $all{$_} = 0 } @_;
-    return (keys %all);
-}
-
 sub read_conf {
 
     # liest die Konfiguration ein