diff options
author | Joey Hess <joey@kitenet.net> | 2013-12-11 00:15:10 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-12-11 00:15:10 -0400 |
commit | ceb2a55aad9667421e8bb74f263786c74e6798fd (patch) | |
tree | b20eb544958829d068930317b09bdedee57c110a /Annex/Url.hs | |
parent | ab0dd8edd4c5ab74ee90d41e920b9e0425afdf89 (diff) |
pull in Win32-extras, to be able to get current process id in Windows
Fixed up a number of things that had worked around there not being a way to
get that.
Most notably, transfer info files on windows now include the process id,
since no locking is currently done. This means the file format varies
between windows and unix.
Diffstat (limited to 'Annex/Url.hs')
0 files changed, 0 insertions, 0 deletions