diff options
author | Michele Calgaro <michele.calgaro@yahoo.it> | 2014-10-23 12:00:13 +0900 |
---|---|---|
committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2014-10-23 12:00:13 +0900 |
commit | 3a0f0172fb45826b6de854bd4f7c5a064b3c1cb5 (patch) | |
tree | 8de17bd08e5b6445a0355fccee7fb552b31a82ca /parts/scripting | |
parent | 0ffe0dfb29f3be5bb87b977b3a8ae1d9cd4346d5 (diff) | |
download | tdevelop-3a0f0172fb45826b6de854bd4f7c5a064b3c1cb5.tar.gz tdevelop-3a0f0172fb45826b6de854bd4f7c5a064b3c1cb5.zip |
Removed 'CustomDocumentationTitles' option and made it active by default for all plugins. This relates to bug 1859.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'parts/scripting')
0 files changed, 0 insertions, 0 deletions