From 770c39fbe0613132e58906dc709190d5e0ec037d Mon Sep 17 00:00:00 2001
From: lloyd <lloyd@randombit.net>
Date: Fri, 8 Sep 2006 02:27:26 +0000
Subject: Remove print_header(), no longer used

---
 configure.pl | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/configure.pl b/configure.pl
index d08d44544..64770eedb 100755
--- a/configure.pl
+++ b/configure.pl
@@ -1477,13 +1477,6 @@ sub generate_makefile {
    close MAKEFILE;
 }
 
-sub print_header {
-    my ($fh, $string) = @_;
-    print $fh '#' x 50, "\n",
-             "# $string", ' 'x(47-length($string)), "#\n",
-              '#' x 50, "\n";
-}
-
 ##################################################
 # Print a Unix style makefile                    #
 ##################################################
-- 
cgit v1.2.3