Code

Add domain_types sphinx extension#110

Code

Merged

jl-wynen merged 6 commits intomainscipp/sciline:mainfrom typehints-extensionscipp/sciline:typehints-extensionCopy head branch name to clipboardJan 25, 2024

+160

Commits

Commits on Jan 24, 2024

• Add domain_types sphinx extension

  jl-wynen

  committed
  920b973

  Copy full SHA for 920b973

• Apply automatic formatting

  

  jl-wynen

  authored and

  github-actions[bot]

  committed
  47b417a

  Copy full SHA for 47b417a

• Fix type hints

  jl-wynen

  committed
  df15997

  Copy full SHA for df15997

Commits on Jan 25, 2024

• Remove builtin aliases

  jl-wynen

  committed
  7668f19

  Copy full SHA for 7668f19

• Add docstring to sphinxext package

  jl-wynen

  committed
  945963c

  Copy full SHA for 945963c

• Apply wording suggestion

  jl-wynen

  committed
  c9b092e

  Copy full SHA for c9b092e