diff options
| author | Michele Calgaro <[email protected]> | 2014-10-23 12:00:13 +0900 |
|---|---|---|
| committer | Michele Calgaro <[email protected]> | 2014-10-23 12:00:13 +0900 |
| commit | 3a0f0172fb45826b6de854bd4f7c5a064b3c1cb5 (patch) | |
| tree | 8de17bd08e5b6445a0355fccee7fb552b31a82ca /pics/toolbar | |
| 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 <[email protected]>
Diffstat (limited to 'pics/toolbar')
0 files changed, 0 insertions, 0 deletions