1 /* 2 * Copyright (c) 2003 Michael T Pins. All rights reserved. 3 */ 4 5 int kill_article(article_header *); 6 int auto_select_article(article_header *, int); 7 void enter_kill_file(group_header *, char *, register flag_type, int); 8 int kill_menu(article_header *); 9 int init_kill(void); 10 void rm_kill_file(void); 11 void free_kill_entries(void); 12 void dump_kill_list(void); 13