Feature request: ability to "delete" a preference
DilumAluthge opened this issue · 0 comments
DilumAluthge commented
It would be nice to have the ability to "delete" a preference.
Maybe the API could look like this:
@delete_preferences!(keys...)DilumAluthge opened this issue · 0 comments
It would be nice to have the ability to "delete" a preference.
Maybe the API could look like this:
@delete_preferences!(keys...)