Skip to content

Rename basis_ref to structure#14

Merged
jan-janssen merged 1 commit into
mainfrom
basis_ref
Sep 5, 2023
Merged

Rename basis_ref to structure#14
jan-janssen merged 1 commit into
mainfrom
basis_ref

Conversation

@jan-janssen

Copy link
Copy Markdown
Member

No description provided.

@jan-janssen
jan-janssen merged commit 7239783 into main Sep 5, 2023
@jan-janssen
jan-janssen deleted the basis_ref branch September 5, 2023 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant