Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
wants to merge 9 commits into
base: develop
Choose a base branch
from

Commits on Nov 28, 2024

  1. fix file downloads

    SimonEntholzer committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    d3b0932 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    dcb58d1 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. fix build error

    SimonEntholzer committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    d355802 View commit details
    Browse the repository at this point in the history
  2. fix typo

    SimonEntholzer committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    7be7e0f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    550a127 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2024

  1. Configuration menu
    Copy the full SHA
    9720428 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3f75b38 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2024

  1. Configuration menu
    Copy the full SHA
    a241971 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c3f3601 View commit details
    Browse the repository at this point in the history