diffcore_pickaxe 4871 diff.c diffcore_pickaxe(options); diffcore_pickaxe 113 diffcore.h extern void diffcore_pickaxe(struct diff_options *);