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

📝 Switch to furo theme for documentation #286

Merged
merged 5 commits into from
Jun 16, 2023
Merged

📝 Switch to furo theme for documentation #286

merged 5 commits into from
Jun 16, 2023

Commits on Jun 16, 2023

  1. ⬆️🔧 update RtD configuration 

    Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
    @burgholzer
    burgholzer committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    4e5f1e7 View commit details
    Browse the repository at this point in the history

  2. ✏️ fix docstrings 

    Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
    @burgholzer
    burgholzer committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    fcf45fa View commit details
    Browse the repository at this point in the history

  3. ✏️ better indentation 

    Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
    @burgholzer
    burgholzer committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    5d7c563 View commit details
    Browse the repository at this point in the history

  4. ✏️ avoid duplicating information 

    Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
    @burgholzer
    burgholzer committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    50690ef View commit details
    Browse the repository at this point in the history

  5. 📝 switch to furo theme for documentation 

    Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
    @burgholzer
    burgholzer committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    45181de View commit details
    Browse the repository at this point in the history