]> source.dussan.org Git - aspectj.git/commit
Give docbook IDs unique names 19/head
authorJerry James <loganjerry@gmail.com>
Wed, 9 Sep 2020 19:50:13 +0000 (13:50 -0600)
committerJerry James <loganjerry@gmail.com>
Wed, 9 Sep 2020 19:50:13 +0000 (13:50 -0600)
commit4b2e7df5d368ba4d5eb79a6da3599e6836d3461f
treecd6a830e89e7a7fb4683fa6c9aeceb9a497599bf
parent611e94990f628999c99c75e112d065608cf9df11
Give docbook IDs unique names
docs/adk15ProgGuideDB/generics.xml
docs/adk15ProgGuideDB/miscellaneous.xml
docs/progGuideDB/gettingstarted.xml
docs/progGuideDB/semantics.xml