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

Profile Resolution spec: updated names of 'remove' directives #1381

Merged
merged 3 commits into from
Jul 25, 2022
Merged

Profile Resolution spec: updated names of 'remove' directives #1381

merged 3 commits into from
Jul 25, 2022

Commits on Jul 25, 2022

  1. Profile Resolution spec: updated names of 'remove' directives 

    Addresses usnistgov#1246. Also repairs a few errors in surrounding copy.
    @wendellpiez @david-waltermire
    wendellpiez authored and david-waltermire committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    85bea91 View commit details
    Browse the repository at this point in the history

  2. Update src/specifications/profile-resolution/profile-resolution-specm… 

    …l.xml
    @david-waltermire
    david-waltermire committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    811adf8 View commit details
    Browse the repository at this point in the history

  3. Adding swap space to address Hugo memory exhaustion.

    @david-waltermire
    david-waltermire committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    55a1251 View commit details
    Browse the repository at this point in the history