From 57e05856685e1db86bd3a6c7c7bbd4c202d21fff Mon Sep 17 00:00:00 2001 From: petef 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/mutt-devel') 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