pg-protected-undo: remove separate `proof-allow-undo-in-read-only' and

make consistent with `proof-strict-read-only' setting.  In particular,
if "Edit Freely" is selected then we don't do any retraction.

0 files changed, 0 insertions, 0 deletions