]> git.p6c8.net - devedit.git/commitdiff
- Do not write new file content if the user did not change it
authorpcanterino <>
Fri, 15 Apr 2005 14:42:53 +0000 (14:42 +0000)
committerpcanterino <>
Fri, 15 Apr 2005 14:42:53 +0000 (14:42 +0000)
- If two users edit a file at the same time and they both did the same changes,
  do not complain that the file has changed


No differences found

patrick-canterino.de