Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix link to legacy Ops manual #2231
I don't think it's worth explaining where it used to live
Oops - good spot on the other link - I'll push up a change after lunch!