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.

Sign up for GitHub

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

Jump to bottom

Add a few "new" links and publications #21

Merged
merged 3 commits into from Dec 30, 2023
Merged

Add a few "new" links and publications #21

merged 3 commits into from Dec 30, 2023

Commits on Dec 30, 2023

  1. Add a few "new" links and publications

    @mgeier
    mgeier committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    753b73c View commit details
    Browse the repository at this point in the history

  2. Add another link to linkcheck_ignore

    @mgeier
    mgeier committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    b50b77d View commit details
    Browse the repository at this point in the history

  3. Replace abandoned link with archive.org link

    @mgeier
    mgeier committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    316cf5f View commit details
    Browse the repository at this point in the history