From f5b9b34513afe144938cbc555b6112ccbe76c36c Mon Sep 17 00:00:00 2001 From: Pete Fritchman Date: Mon, 3 Dec 2001 19:10:31 +0000 Subject: Remove a file accidentally forgotten in last commit. Submitted by: maintainer --- mail/mutt-devel/files/extra-patchlist.sh | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 mail/mutt-devel/files/extra-patchlist.sh (limited to 'mail') diff --git a/mail/mutt-devel/files/extra-patchlist.sh b/mail/mutt-devel/files/extra-patchlist.sh deleted file mode 100644 index 9cefc141b6b4..000000000000 --- a/mail/mutt-devel/files/extra-patchlist.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh -- - -cat < -#include - -#include "mutt.h" - -void mutt_print_patchlist (void) -{ -EOF - -while read patch ; do - echo " puts (\"${patch}\");" -done - -echo "}" -- cgit v1.2.3