Skip to content

Conversation

@mayberryzane
Copy link
Contributor

Summary

@mayberryzane mayberryzane merged commit d49af3b into main Sep 22, 2023
@mayberryzane mayberryzane deleted the zane/remove_file branch September 22, 2023 15:21
lewisl9029 pushed a commit to lewisl9029/highlight that referenced this pull request Nov 16, 2023
## Summary
- accidentally introduced in highlight#6689 , I don't think it'll have an effect
but removing this to avoid build failures
<!--
Ideally, there is an attached GitHub issue that will describe the "why".

If relevant, use this section to call out any additional information
you'd like to _highlight_ to the reviewer.
-->
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.

2 participants