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)
1  2 
cloogleirc.icl

diff --cc cloogleirc.icl
Simple merge