graceful exit: fix #5
authorMart Lubbers <mart@martlubbers.net>
Thu, 13 Jul 2017 10:32:18 +0000 (12:32 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 13 Jul 2017 10:32:18 +0000 (12:32 +0200)
commitbefcf2ab2ca4e80eebcbd839ce4a0375ae9a6012
tree0cee581859ab6a52e770c1a1f33ce4ab85ab1b19
parentdfd66ec7ee5f6fdc17cbc28eb3013a245837a51c
graceful exit: fix #5
Makefile
cloogle.icl
run.sh