You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Tuloup a8a8111d59 Increase checkpoint poll interval (#7711)		6 months ago
..
checkpoints.json	Increase checkpoint poll interval (#7711)	6 months ago
edit-notebook-metadata.json	Add missing "Open..." file menu (#7385)	2 years ago
full-width-notebook.json	Add a setting to enable the notebook to take up the full width (#7487)	1 year ago
kernel-logo.json	Switch to settings define for the kernel logo	4 years ago
scroll-output.json	Additional renaming	4 years ago