Closed dkfellows closed 3 years ago
Also fixes a few other places where the instructions were outdated.
Don't merge until we merge the other bits of the project, of course.
Also fixes a few other places where the instructions were outdated.
Don't merge until we merge the other bits of the project, of course.