Skip to content

Conversation

@dlitz
Copy link

@dlitz dlitz commented Nov 3, 2018

This just adds the dist/ directory, but it's done as a git-subtree merge so that there is a record of the script that I used to fetch these files (and their hashes) from web.archive.org. This way, you don't have to trust that I didn't surreptitiously modify these files.

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