chiark / gitweb /
Do not fatal-error when deleting a global pref that does not exist.
[disorder] / ChangeLog
1 See version control history for detailed change information.
2