`Lectures`: Fix file names for downloads with chromium browsers#9899

Merged

krusche merged 10 commits intodevelopfrom bugfix/lectures/fix-missing-file-extensions-on-chrome

Dec 2, 2024

+205-35

Commits on Nov 28, 2024

Commits on Nov 29, 2024

Commits on Nov 30, 2024

Commits on Dec 1, 2024

Commits on Dec 2, 2024

Merge branch 'develop' into bugfix/lectures/fix-missing-file-extensions-on-chrome
bassner
authored