v1.1.0
Preferences v1.1.0
Closed issues:
- Feature request: ability to "delete" a preference (#4)
Merged pull requests:
- Add the
@has_preference
and@delete_preferences
convenience functions and macros (#6) (@DilumAluthge)
Closed issues:
Merged pull requests:
@has_preference
and @delete_preferences
convenience functions and macros (#6) (@DilumAluthge)