Skip to content

Conversation

barafael
Copy link

@barafael barafael commented Nov 8, 2023

Just really minor doc fixes

@BurntSushi
Copy link
Member

This wasn't a typo. I generally use case insensitive everywhere. This PR comes nowhere close to fixing all such instances.

There are a few spots that use case-insensitive.

This isn't really worth spending time on IMO.

@BurntSushi BurntSushi closed this Aug 24, 2025
@barafael barafael deleted the patch-1 branch August 24, 2025 14:16
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