Sébastien Helleu 04fd587fff exec: evaluate option exec.command.shell, change default value to "${env:SHELL}" (closes #1356)

2019-06-12 18:29:07 +02:00

..

plugin_api

doc: update Polish auto-generated files

2019-06-02 06:01:05 +02:00

user

exec: evaluate option exec.command.shell, change default value to "${env:SHELL}" (closes #1356)

2019-06-12 18:29:07 +02:00