julius/prototorch
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: merge dev into master

Browse Source
This commit is contained in:
Alexander Engelsberger
2022-04-27 09:48:58 +02:00
parent cce76c7940 0d10fc7e25
commit 37add944b1
10 changed files with 107 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/conf.py
View File

@@ -120,7 +120,7 @@ html_css_files = [
# -- Options for HTMLHelp output ------------------------------------------
# Output file base name for HTML help builder.
htmlhelp_basename = "protoflowdoc"
htmlhelp_basename = "prototorchdoc"
# -- Options for LaTeX output ---------------------------------------------