openwebwork/webwork2 — pull request #395 by pstaabp (2014-05-20 10:24:27+00:00)
Title: Ww3 feature/settings fix

Simple bug fix.