diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-24 11:43:19 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-24 11:43:19 -0400 |
| commit | fa2a2324f8223a0f628472e2ee5fdb69495cd17f (patch) | |
| tree | f18fb689418472aa33ff5db733e907fd5bcb1050 /src/Utility/Data.hs | |
| parent | 7b7ad7e685cccb7ff2c609d92192bf7d983fc400 (diff) | |
temporarily remove UsedPort
This can come back later as a full Resource data type.
For now, I want to focus on merging what I have working.
Diffstat (limited to 'src/Utility/Data.hs')
0 files changed, 0 insertions, 0 deletions