Finalize the PG CodeMirror Editor for the 2.20 release.#2719

pstaabp merged 2 commits into

openwebwork:WeBWorK-2.20openwebwork/webwork2:WeBWorK-2.20from

drgrice1:freeze-pg-codemirror-editor-for-releasedrgrice1/webwork2:freeze-pg-codemirror-editor-for-releaseCopy head branch name to clipboard