Revision 7272fd6e73377d8c702cb35598ccb0a2575c8976

Committed on 10/01/2013 10:41 am by mka <[email protected]> [GitHub Diff]

Hashed file identifier to prevent that lock files be considered as cache
files