commit | 5876f9dd00007fe9fd42e23d449d6fdcb44f7926 | [log] [tgz] |
---|---|---|
author | Michael Tuexen <tuexen@fh-muenster.de> | Wed Mar 25 00:10:44 2020 +0100 |
committer | Michael Tuexen <tuexen@fh-muenster.de> | Wed Mar 25 00:10:44 2020 +0100 |
tree | b49f15d3a6c6658aee391b4877af6bc234a29792 | |
parent | 340942be471c2a1e45a183b39c0948022f69018b [diff] |
Fix lock name in Windows.