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");
752 my $user_ann_file = shift(@user_ann_files);753 print("User annotated: $user_ann_file\n");754 foreach $user_ann_file (@user_ann_files) {755 print(" $user_ann_file\n");