]> git.p6c8.net - devedit.git/commitdiff
- Check if unlocking of the list of files in use was successful
authorpcanterino <>
Thu, 10 Feb 2005 18:42:10 +0000 (18:42 +0000)
committerpcanterino <>
Thu, 10 Feb 2005 18:42:10 +0000 (18:42 +0000)
- Check if a file could be successfully added to the list of files in use
- Check if a file could be successfully removed from the list of files in use


No differences found

patrick-canterino.de