add execp_monitor config #799
commit0f00212c58630c104a14650e94b654324c21ecbb
authorChris Lee <@klee93>
Wed, 24 Feb 2021 21:08:20 +0000 (24 22:08 +0100)
committerChris Lee <@klee93>
Wed, 24 Feb 2021 21:08:20 +0000 (24 22:08 +0100)
treeeb7a00e69e4bbb5f0fb3d927f86ebc5074744cac
parentdba0e66646d7d7fb12bbf7874b6aa9c1c1ef4b19
add execp_monitor config #799
doc/tint2.md
src/config.c
src/execplugin/execplugin.c
src/execplugin/execplugin.h
src/tint2conf/properties.c
src/tint2conf/properties.h
src/tint2conf/properties_rw.c