Code

Fix some typehints#60

Code

Merged

dweindl merged 4 commits intodevelopPEtab-dev/petab_select:developfrom fix_typehintsPEtab-dev/petab_select:fix_typehintsCopy head branch name to clipboardNov 7, 2023

+7-5

Commits

Commits on Oct 23, 2023

• Fix some typehints

  dweindl

  committed
  4a0a50b

Commits on Oct 31, 2023

• to_petab

  dweindl

  committed
  4430ba4

Commits on Nov 7, 2023

• Merge remote-tracking branch 'origin/develop' into fix_typehints

  dweindl

  committed
  2f51e07

• pre-commit run --all-files

  dweindl

  committed
  5c19c8e