Deleted files are kept with their history and can be restored. Permanently removing a file’s history is done from its history view.
