Skip to content

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #693

Merge pull request #188 from DigiKlausur/disable_notebook_name_change

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #693