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.

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

Unify naming pattern of excision spheres #4747

Merged
merged 1 commit into from
Feb 17, 2023

Commits on Feb 16, 2023

  1. Unify naming pattern of excision spheres

    Most other things have the convention ThingLabel, but the excision
    spheres were named ObjectLabelThing. This changes all occurrences
    of Object{A,B}ExcisionSphere to ExcisionSphere{A,B} and
    CentralExcisionSphere to just ExcisionSphere
    knelli2 committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    1c6250a View commit details
    Browse the repository at this point in the history