diff options
| -rw-r--r-- | mail/mutt-devel/files/extra-patchlist.sh | 18 |
1 files changed, 0 insertions, 18 deletions
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 <<EOF -/* this is an autogenerated file. do not edit. */ -#include <stdio.h> -#include <stdlib.h> - -#include "mutt.h" - -void mutt_print_patchlist (void) -{ -EOF - -while read patch ; do - echo " puts (\"${patch}\");" -done - -echo "}" |