// File deleted.