Merge branch 'interface-improvements'
authorMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:43:20 +0000 (10:43 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:43:20 +0000 (10:43 +0100)
commit0ccf6e4772c240fb79d58f8b4d833a23e278e297
treea93051706526dbea3fdc4c2e57d088ec64da4b3c
parent6074fc23351ac06daad779b3ac6c09a36590de24
parent5855016259a3e87c3707573b1c3c843b6365a038
Merge branch 'interface-improvements'
cloogleirc.icl