Skip to content

Remove two unused "concept domain" ConceptChunks.#4854

Open
balacij wants to merge 1 commit intomainfrom
rmUnused
Open

Remove two unused "concept domain" ConceptChunks.#4854
balacij wants to merge 1 commit intomainfrom
rmUnused

Conversation

@balacij
Copy link
Copy Markdown
Collaborator

@balacij balacij commented Mar 29, 2026

refByDom and refNameDom are removed. Neither are really "domains."

Split off from #4363

`refByDom` and `refNameDom` are removed. Neither are really "domains."
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