Skip to content

Rename fonts to use underscores instead of spaces#1495

Merged
einarf merged 1 commit intodevelopmentfrom
rename-fonts
Feb 6, 2023
Merged

Rename fonts to use underscores instead of spaces#1495
einarf merged 1 commit intodevelopmentfrom
rename-fonts

Conversation

@einarf
Copy link
Member

@einarf einarf commented Feb 6, 2023

This is important because package data files should not have spaces in them. It breaks a lot of tools.

Relateed to #1159

This is important because package data files should
not have spaces in them. It breaks a lot of tools.
@einarf einarf merged commit f012e7b into development Feb 6, 2023
@einarf einarf deleted the rename-fonts branch February 6, 2023 04:14
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