Searched refs:user_ann_file (Results 1 – 2 of 2) sorted by relevance
477 my $user_ann_file = shift(@user_ann_files);478 print("User annotated: $user_ann_file\n");479 foreach $user_ann_file (@user_ann_files) {480 print(" $user_ann_file\n");
745 my $user_ann_file = shift(@user_ann_files);746 print("User annotated: $user_ann_file\n");747 foreach $user_ann_file (@user_ann_files) {748 print(" $user_ann_file\n");