Talk:Open Problem Library
Revision as of 13:14, 12 April 2023 by PhilipLoewen (talk | contribs) (Possible upgrade to "Updating the OPL")
The page suggests giving the command "git pull", but this did not work for me.
A similar command that seemed to succeed was "git pull https://github.com/openwebwork/webwork-open-problem-library.git".
If someone who understands things better than I do considers the latter command more correct than what the page says right now, it might be nice to update the page text. I'm not confident enough about my experience to do this.