Skip to content

Add "PG Critic" to the PG problem editor.#2768

Open
drgrice1 wants to merge 3 commits intoopenwebwork:developfrom
drgrice1:pg-critic
Open

Add "PG Critic" to the PG problem editor.#2768
drgrice1 wants to merge 3 commits intoopenwebwork:developfrom
drgrice1:pg-critic

Commits

Commits on Sep 23, 2025