gtags_delete 672 gtags/gtags.c gtags_delete(gtop, deleteset); gtags_delete 113 libutil/gtagsop.h void gtags_delete(GTOP *, IDSET *);