Skip to content

Remove some files that were mistakingly recreated by recent merges#19

Open
timwoj wants to merge 2 commits intorobinrowe:masterfrom
timwoj:remove-dead-files
Open

Remove some files that were mistakingly recreated by recent merges#19
timwoj wants to merge 2 commits intorobinrowe:masterfrom
timwoj:remove-dead-files

Conversation

@timwoj
Copy link
Contributor

@timwoj timwoj commented Feb 21, 2026

The merges from both me and @SamuelMarks restored some files that were removed previously by 69deb5f. This PR removes them again, and also removes the CMakeLists options and tests related to them.

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