]> source.dussan.org Git - aspectj.git/commitdiff
Merge pull request #19 from jamesjer/master
authorAndy Clement <aclement@pivotal.io>
Wed, 9 Sep 2020 21:38:15 +0000 (14:38 -0700)
committerGitHub <noreply@github.com>
Wed, 9 Sep 2020 21:38:15 +0000 (14:38 -0700)
Give docbook IDs unique names


Trivial merge