Sébastien Helleu 07cbc3bd2e script: rename option script.scripts.dir to script.scripts.path (issue #388)

2015-06-21 07:40:18 +02:00

..

plugin_api

doc: add comment in auto-generated doc files to prevent any changes by hand

2015-03-11 20:15:23 +01:00

user

script: rename option script.scripts.dir to script.scripts.path (issue #388)

2015-06-21 07:40:18 +02:00