Talk:Open Problem Library
Jump to navigation
Jump to search
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.