Lines Matching refs:user
42 # user time
202 options for the user, with defaults in [ ], are:
746 print("User annotated: $user_ann_file\n");
1077 # File header (distinguish between user- and auto-selected files).
1080 (defined $user_ann_files{$src_file} ? "User" : "Auto");
