This repository has been archived by the owner on Nov 16, 2023. It is now read-only.

Download link in Before-the-HOL Task 8 is broken #20

Closed

eric-davis opened this issue Nov 5, 2018 · 2 comments

eric-davis commented Nov 5, 2018

The download link for pulling down the database and other files in Before-the-HOL, task #8 is broken; the Dropbox file is missing.

Collaborator

jstulo commented Nov 5, 2018

The link is fixed and you should be able to download the file once again.

jstulo closed this as completed

Author

eric-davis commented Nov 5, 2018

Thanks!

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