From: pcanterino <>
Date: Fri, 15 Apr 2005 14:42:53 +0000 (+0000)
Subject: - Do not write new file content if the user did not change it
X-Git-Tag: version_3_0~43
X-Git-Url: https://git.p6c8.net/devedit.git/commitdiff_plain/4c99fa1ba416929e3f277e6efb14f93332884ad4?hp=4c99fa1ba416929e3f277e6efb14f93332884ad4

- Do not write new file content if the user did not change it
- 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
---