RequestPolicy/requestpolicy — Issue #19: add a "restore default settings" option
Author: jsamuel
Created: 2011-12-22 18:46:16+00:00
State: open
Labels: extension

imported trac ticket
created: 2009-06-21 19:05:53
reporter: Vitorio Okio

Add an option in the preferences window to restore default settings.