commit | d8721760e0a3f77961e2b2b2073cafb16be5a0a1 | [log] [tgz] |
---|---|---|
author | David Green <david.green@tasktop.com> | Fri May 22 18:46:10 2015 -0700 |
committer | David Green <david.green@tasktop.com> | Fri May 22 21:58:57 2015 -0700 |
tree | b68b59413968eca996f7c6c645df214a40193cb9 | |
parent | 8e8f82c48949b6fd2bf93db58152aca59f6945b5 [diff] |
467275: add generated ids to headings Change-Id: I651d3bc6ec7f58cbceddc5d93fca22fc5bbeb615 Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=467275