X-Git-Url: https://git.p6c8.net/devedit.git/blobdiff_plain/6a4499d441793336945f8dd7aa4485ee0fafc1ee..0fb9dcffcc2a1be81de150bae084e195c5f66658:/errors.dat?ds=sidebyside

diff --git a/errors.dat b/errors.dat
index 81e7b5e..88be554 100644
--- a/errors.dat
+++ b/errors.dat
@@ -17,7 +17,6 @@ editdir        = You cannot edit directories.
 exist_edited   = The target file '{FILE}' already exists and is edited by someone else.
 exist_no_write = The target file '{FILE}' already exists and you have not enough permissions to replace it.
 file_exists    = A file or directory called '{FILE}' already exists.
-file_in_use    = The file '{FILE}' is currently edited by someone else.
 file_too_large = The file you want to view or edit is too large (max. {SIZE} Bytes).
 in_use         = The file '{FILE}' is currently edited by someone else.
 invalid_group  = '{GROUP}' seems to be an invalid group name. Please check it and try again.