Skip to content

Conversation

lewtun
Copy link
Member

@lewtun lewtun commented Jul 20, 2022

Saw these while trying out the new feature - the OCD part of me couldn't resist :)

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Jul 20, 2022

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

@lvwerra
Copy link
Member

lvwerra commented Jul 20, 2022

FYI @fxmarty

@lvwerra lvwerra merged commit ab07642 into main Jul 20, 2022
@lvwerra lvwerra deleted the lewtun-patch-1 branch July 20, 2022 13:58
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