| commit | b1e2ff7377647c9d05a3c45aa0b477837805a38f | [log] [tgz] |
|---|---|---|
| author | Bence Szépkúti <bence.szepkuti@arm.com> | Tue Jun 13 15:04:36 2023 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jun 13 15:04:36 2023 +0200 |
| tree | fd545ed79196366252acc3dc862867f36dc8739a | |
| parent | 8eaf2d2ac93c432399a7c580496a45ad16519a17 [diff] | |
| parent | ab286492021b43bfe075c8c965e960d0aa922cc2 [diff] |
Merge pull request #7751 from davidhorstmann-arm/2.28-build-docs-realfull [Backport 2.28] Build the docs in realfull config