Merge branch 'master' of https://git.gnexus.space/git/root/navi-1

Fork: 0

root / navi-1

Browse code Merge branch 'master' of https://git.gnexus.space/git/root/navi-1 deploy master
commit a0dc3766f0e1b8d9c7d0742b83f69b99f12767d4 2 parents 72efcdb + e55e0e8 root authored on 26 May

Patch

Unified Split

Showing 6 changed files

Ignore Space Show notes View manuals/terminal.md 0 → 100644

Ignore Space Show notes View navi/core/container.py

Ignore Space Show notes View navi/tools/_internal/terminal_manager.py 0 → 100644

Ignore Space Show notes View navi/tools/terminal.py

Show notes View navi/tools/terminal_manager.py 100644 → 0

Ignore Space Show notes View tests/unit/tools/test_terminal.py

Show line notes below