]> source.dussan.org Git - aspectj.git/commitdiff
Merge pull request #69 from kriegaex/document-improve-build-profiles
authorAndy Clement <aclement@pivotal.io>
Thu, 10 Jun 2021 14:38:40 +0000 (07:38 -0700)
committerGitHub <noreply@github.com>
Thu, 10 Jun 2021 14:38:40 +0000 (07:38 -0700)
Document build profiles and properties in `docs/developer/BUILD.md`


Trivial merge