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/documentation/find_documentation_optionsbase.ui | |
| 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/documentation/find_documentation_optionsbase.ui')
0 files changed, 0 insertions, 0 deletions