We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
When converted prh to proofdict by prh-to-proofdict, some converted file names are invalid.
Input prh files https://github.com/azu/prh.yml/tree/master/ja
To fix these, I replaced to number order file names.
hata6502/proof-dictionary@4812f68
I think that escaping all patterns for file name is hard! Thank you for maintaining :)
The text was updated successfully, but these errors were encountered:
No branches or pull requests
When converted prh to proofdict by prh-to-proofdict, some converted file names are invalid.
Input prh files
https://github.com/azu/prh.yml/tree/master/ja
To fix these, I replaced to number order file names.
hata6502/proof-dictionary@4812f68
I think that escaping all patterns for file name is hard!
Thank you for maintaining :)
The text was updated successfully, but these errors were encountered: