Skip to content

Commit

Permalink
Slight changes to docs.
Browse files Browse the repository at this point in the history
  • Loading branch information
rcschrg committed Oct 23, 2024
1 parent aa3088f commit dd42030
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/source/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,6 @@
"sidebar_hide_name": True,
"source_repository": "https://github.com/OFFIS-DAI/mango/",
"source_branch": "master",
"source_directory": "docs/",
"source_directory": "docs/source/",
"top_of_page_buttons": ["view", "edit"],
}

0 comments on commit dd42030

Please sign in to comment.