Public Git Hosting - tint2-nick87720z.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1317040) | patch

commit	d1f5a46a734c6201d8d4c4cb27ca93547383fefd
author	Chris Lee <@klee93>
	Tue, 17 Apr 2018 19:48:55 +0000 (17 19:48 +0000)
committer	Chris Lee <@klee93>
	Tue, 17 Apr 2018 19:48:55 +0000 (17 19:48 +0000)
tree	34d7e56165b331c820423ad9b87d153e6e459609	tree \| snapshot (tar.gz zip)
parent	131704081c1aa77d6a05b0693098e589a8573492	commit \| diff

Fix executor verbosity (issue #699)

ChangeLog		diff \| blob \| blame \| history
src/execplugin/execplugin.c		diff \| blob \| blame \| history
src/execplugin/execplugin.h		diff \| blob \| blame \| history
src/init.c		diff \| blob \| blame \| history

A lightweight panel/taskbar for Linux and BSD