Skip to content

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #757

Merge pull request #188 from DigiKlausur/disable_notebook_name_change

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #757

build (3.10)

succeeded Feb 12, 2025 in 1m 23s