Skip to content

Conversation

@virtuald
Copy link
Member

@virtuald virtuald commented Jan 6, 2024

No description provided.

@virtuald virtuald merged commit 0faed56 into main Jan 6, 2024
@virtuald virtuald deleted the remove-wpilib-run branch January 6, 2024 09:08
@auscompgeek
Copy link
Member

Shouldn't this have removed the #! too?

@virtuald
Copy link
Member Author

virtuald commented Jan 6, 2024

Yes, but it will break all of the frc-docs RLIs, so I'm not going to do that except in coordination with 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.

3 participants