Merge pull request #13 from clean-cloogle/pr-better-output
authordopefishh <mart@martlubbers.net>
Tue, 25 Jul 2017 16:58:08 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2017 16:58:08 +0000 (18:58 +0200)
commit73e3f056b86da6bd5ac20b0f14a28ac7f79512d1
tree5fcc3ec20ecf556b9743261b16217d317d4fef14
parentad2130683cbdb41ca29581e366ef19ca758eb95a
parentad6f64c9f6b343f0e64eff1d3d7fa821cff203b0
Merge pull request #13 from clean-cloogle/pr-better-output

Pr better output
cloogleirc.icl