Skip to content

Use a better times symbol#669

Merged
PeterJCLaw merged 2 commits intomainfrom
fix-times-two
Mar 22, 2025
Merged

Use a better times symbol#669
PeterJCLaw merged 2 commits intomainfrom
fix-times-two

Conversation

@PeterJCLaw
Copy link
Member

Letter 'x' is not a times symbol.

@PeterJCLaw PeterJCLaw requested a review from prophile March 19, 2025 20:39
@RealOrangeOne
Copy link
Member

Is this all occurrences of an "X" used as a times symbol? Seems silly to change just one.

Identified via:
$ git grep -P '\bx\s*\d+' -- :^images :^package-lock.json :^resources
@PeterJCLaw
Copy link
Member Author

The others were dimensions, have done that in the second commit.

This turns out to be handy.

git grep -P '\bx\s*\d+' -- :^images :^package-lock.json :^resources

The :^ syntax excludes those files.

@PeterJCLaw PeterJCLaw merged commit 9516e52 into main Mar 22, 2025
6 checks passed
@PeterJCLaw PeterJCLaw deleted the fix-times-two branch March 22, 2025 22:47
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