Skip to content

Fix long filenames#98

Merged
Kernald merged 1 commit intoProdriveTechnologies:masterfrom
Kernald:fix-long-names
Oct 20, 2022
Merged

Fix long filenames#98
Kernald merged 1 commit intoProdriveTechnologies:masterfrom
Kernald:fix-long-names

Conversation

@Kernald
Copy link
Copy Markdown
Collaborator

@Kernald Kernald commented Oct 20, 2022

This uses an existing PR on latexrun, rather than what was done in #62

Fixes #50

This uses an existing PR on latexrun
@Kernald Kernald mentioned this pull request Oct 20, 2022
@Kernald Kernald merged commit be8c0ce into ProdriveTechnologies:master Oct 20, 2022
@Kernald Kernald deleted the fix-long-names branch October 20, 2022 04:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Failing to build with long filenames

1 participant