summaryrefslogtreecommitdiff
path: root/src/System
diff options
context:
space:
mode:
authorFélix Sipma <felix.sipma@no-log.org>2017-01-18 15:47:23 +0100
committerFélix Sipma <felix.sipma@no-log.org>2017-01-18 15:47:23 +0100
commit979c37985bde31c57ec254a34d21f3c78d136da5 (patch)
tree0de7fb33c614cf271848292d3b71a5f3aa86b199 /src/System
parent66660e250203969c3dda6aae5bf1a863e34bedc7 (diff)
add Ord instance for Port
Diffstat (limited to 'src/System')
0 files changed, 0 insertions, 0 deletions