Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Group or shorten the names of some API specification sections #1250

Merged
merged 1 commit into from
Sep 3, 2024
Merged

Group or shorten the names of some API specification sections #1250

merged 1 commit into from
Sep 3, 2024

Commits on Sep 3, 2024

  1. Group or shorten the names of some API specification sections 

    As discussed in teleconferences, the unification of the API specification
has led to some long-winded and/or redundant section headers. Here are
a few proposed changes that I find make the unified specification easier
to navigate.

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I326f4195e5585a821d38f128bbc9d300f490631f
    @kpet
    kpet committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    deff527 View commit details
    Browse the repository at this point in the history