fix(docs): GeomanDrawControl was not included in docs navigation#1197
Merged
martinRenou merged 1 commit intojupyter-widgets:masterfrom May 14, 2024
Merged
fix(docs): GeomanDrawControl was not included in docs navigation#1197martinRenou merged 1 commit intojupyter-widgets:masterfrom
martinRenou merged 1 commit intojupyter-widgets:masterfrom