OPL Maintenance

OPL update after 2.15

Re: OPL update after 2.15

by Alex Jordan -
Number of replies: 0
OK. It turned out I hadn't (successfully) pulled an updated OPL in the first place. After doing that, all of the E-hats and copyright symbols went away. I presume Mike or Tani or someone edited those files recently.

But I still hit some files that had the degree symbol. And I opened this PR for those:
https://github.com/openwebwork/webwork-open-problem-library/pull/644