Repository navigation

Add initial types to repo/fun.py - #1192

Merged

Byron merged 1 commit into

gitpython-developers:masterfrom

Yobmod:main

Mar 12, 2021

Commits on Mar 4, 2021
- Combined commits to add types to base.py and fun.py
  Yobmod
  committed
  85ebfb2