diff options
author | 2017-01-20 09:53:56 +0000 | |
---|---|---|
committer | 2017-01-20 09:53:56 +0000 | |
commit | 5929d7743e8892dbfed5b401e0594d88fde65f62 (patch) | |
tree | 5e34dc5df9833690075e674d9d2409e9fe944b40 /Types/Availability.hs | |
parent | 1cc9dde9a6c3ccf9f50c3a0d2e06a90b84a8f05d (diff) |
Added a comment: Isn't the ending "." in the host name the problem?
Diffstat (limited to 'Types/Availability.hs')
0 files changed, 0 insertions, 0 deletions