Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into...
authorMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:29:32 +0000 (10:29 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:29:32 +0000 (10:29 +0100)
commit9d3f47b4dfbfcda74e3615361e858d156e3ef395
tree7db260c511d6ce1aee64f4cee730dccd471b72ba
parent898c1d5cf59a5b3e1cdf6002db766c10f9d1a00e
parent0754ab0cb695ed0966e6a60390d295ca8b8476d1
Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into interface-improvements
cloogleirc.icl