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

Fix #70, update global symbol names for consistency #74

Merged
merged 1 commit into from
Feb 16, 2023
Merged

Fix #70, update global symbol names for consistency #74

merged 1 commit into from
Feb 16, 2023

Commits on Feb 13, 2023

  1. Fix nasa#70, update global symbol names for consistency 

    This is a simple search and replace of nonconformant symbol names.

Mapping from the old symbol name to the new symbol name is put behind a
deprecated compatibility switch
    @jphickey
    jphickey committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    b179abc View commit details
    Browse the repository at this point in the history