tree b68b59413968eca996f7c6c645df214a40193cb9
parent 8e8f82c48949b6fd2bf93db58152aca59f6945b5
author David Green <david.green@tasktop.com> 1432345570 -0700
committer David Green <david.green@tasktop.com> 1432357137 -0700

467275: add generated ids to headings

Change-Id: I651d3bc6ec7f58cbceddc5d93fca22fc5bbeb615
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=467275