DOC: Clean up settings#2660
Merged
pbugnion merged 8 commits intojupyter-widgets:masterfrom Jan 9, 2020
Merged
Commits
Commits on Jan 8, 2020
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed