Open martinRenou opened 3 years ago
As pointed out by @mwcraig in https://github.com/jupyter-widgets/tutorial/pull/129
As pointed out by @mwcraig in https://github.com/jupyter-widgets/tutorial/pull/129