Preferences: add remove() to delete preferences
commitdfaba17dde916ccdb2e9aba08f536b9bbc685ccf
authorjlh <jlh@gmx.ch>
Sun, 6 Jul 2008 23:44:06 +0000 (7 01:44 +0200)
committerjlh <jlh@gmx.ch>
Sun, 6 Jul 2008 23:44:06 +0000 (7 01:44 +0200)
tree55d6c8b39201fca32e247d33836e02645894e742
parent36361cd4ab86484ae3ef6217ea853b41a66b3115
Preferences: add remove() to delete preferences
preferences.cpp
preferences.h