diff options
author | 2017-08-28 12:51:25 -0400 | |
---|---|---|
committer | 2017-08-28 12:51:25 -0400 | |
commit | c6baea5d462ca2c5738ba571e0ac788be8c4ab82 (patch) | |
tree | db10f954cf2ef12ff5bde03361ecd633309336e2 /ghci | |
parent | 39ef98860d0cc74f08c1becbb710c134b15935e1 (diff) |
toFeed was unused so remove
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions