Searched refs:REMOVED_FILE (Results 1 – 1 of 1) sorted by relevance
114 $REMOVED_FILE = "$TMPDIR/${FILE_PREFIX}files.removed";458 my $removed = &read_line_nodie("$REMOVED_FILE.$i.$id.$cvs_user");669 &append_to_file("$REMOVED_FILE.$i.$id.$cvs_user", $dir, @removed_files);707 push(@text, &read_file("$REMOVED_FILE.$i.$id.$cvs_user", "Removed:"));