Skip to content

Extension is given by the notebook metadata stdin notebooks#1284

Merged
mwouts merged 3 commits intomainfrom take_extension_from_metadata_for_stdin_notebooksDec 15, 2024