log libgui/src/thread-manager.h @ 20654:b65888ec820e draft default tip gccjit

age author description
Wed, 11 Feb 2015 14:19:08 -0500 John W. Eaton maint: Update copyright notices for 2015.
Tue, 12 Nov 2013 19:24:49 -0500 John W. Eaton interrupt interpreter thread in GUI instead of calling "raise (SIGINT)"