diff options
author | 2016-12-10 11:12:18 -0400 | |
---|---|---|
committer | 2016-12-10 11:12:18 -0400 | |
commit | e242ea2be61ad30c5ecc1db4dfdf97de1265dee7 (patch) | |
tree | f862fbed8f67c8bf89b1de0425adc348730f56ca /RemoteDaemon | |
parent | 824be5bfb8870052e5726238169f738441426da1 (diff) |
fix build with old ghc
Diffstat (limited to 'RemoteDaemon')
0 files changed, 0 insertions, 0 deletions