Skip to content

Remove vendored dg headers#23

Open
McSinyx wants to merge 1 commit intomainfrom
rm-dg
Open

Remove vendored dg headers#23
McSinyx wants to merge 1 commit intomainfrom
rm-dg

Conversation

@McSinyx
Copy link
Collaborator

@McSinyx McSinyx commented Sep 5, 2023

Nothing in the codebase is using dg.

@McSinyx
Copy link
Collaborator Author

McSinyx commented Sep 5, 2023 via email

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