New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Made dirs optional #1148

Merged

Narsil merged 1 commit into huggingface:main from ankane:dirs-optional

Jan 18, 2023

Contributor

ankane commented Jan 18, 2023

Since it's only needed for the http feature


          Made dirs optional

5e59264

HuggingFaceDocBuilderDev commented Jan 18, 2023 •

edited

The documentation is not available anymore as the PR was closed or merged.

Narsil approved these changes

View reviewed changes

Collaborator

Narsil left a comment

LGTM.

Thank you.

Narsil merged commit 33a57e6 into huggingface:main

Contributor Author

ankane commented Jan 18, 2023

Thanks @Narsil!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment