diff options
author | 2015-04-14 14:44:19 -0400 | |
---|---|---|
committer | 2015-04-14 14:44:19 -0400 | |
commit | 86a86ad53f59caf9c6e6b0ba2ce5ca1f27660521 (patch) | |
tree | f6313370ee3eac0667677faee3e5e4faf0e6f54c /Logs/UUID.hs | |
parent | 34abcdb647d665a85a5607b0b4441224aae655df (diff) |
put in workaround for strange version of git on the autobuilder
Diffstat (limited to 'Logs/UUID.hs')
0 files changed, 0 insertions, 0 deletions