Sébastien Helleu 916d99ad40 exec: add option exec.command.shell to customize the shell used with /exec -sh

2018-11-17 11:39:28 +01:00

..

plugin_api

core: update translations

2018-11-04 14:50:53 +01:00

user

exec: add option exec.command.shell to customize the shell used with /exec -sh

2018-11-17 11:39:28 +01:00