| commit | 5441793a43f9c7c609500aa4a42dd51033cf551d | [log] [tgz] |
|---|---|---|
| author | David Green <david.green@tasktop.com> | Thu Mar 07 10:20:22 2013 -0800 |
| committer | David Green <david.green@tasktop.com> | Thu Mar 07 10:20:22 2013 -0800 |
| tree | 54cb83425c552e7cfd115c9d4fd9092cacc381d7 | |
| parent | 7e80903ad3c66076947aae770cb6a2f5408f1619 [diff] |
402682: generated table of contents contains filename when generated from wikitext-to-html Ant task even if file splitting is disabled Change-Id: I4114c448e42e0f3c410c979cce51ce46cef909d2 Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=402682