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 sphinx and sphinx_rtd_theme as deps for a new docs extra #4643

Merged
merged 4 commits into from
Mar 8, 2023
Merged

Add sphinx and sphinx_rtd_theme as deps for a new docs extra #4643

merged 4 commits into from
Mar 8, 2023

Commits on Jan 20, 2023

  1. Add sphinx and sphinx_rtd_theme as deps for a new docs extra

    @Steffo99
    Steffo99 committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    71ed854 View commit details
    Browse the repository at this point in the history

  2. Add changelog entry

    @Steffo99
    Steffo99 committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    aa28c27 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2023

  1. Move changelog entry to other changes

    @Steffo99
    Steffo99 committed Jan 22, 2023
    Configuration menu
    Copy the full SHA
    cf56d05 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Merge remote-tracking branch 'upstream/master' into sphinx-deps

    @Steffo99
    Steffo99 authored Mar 8, 2023
    Configuration menu
    Copy the full SHA
    87c43a0 View commit details
    Browse the repository at this point in the history