Repository navigation

Various fixes - #188

Open

rafie wants to merge 3 commits into

Open

Various fixes#188
rafie wants to merge 3 commits into
masterfrom
rafi-fixes1

Commits on Feb 19, 2023
- Allow connection to be specified for cmd
  rafie
  committed
  adc3400
- Raise exception when failing to start Env
  rafie
  committed
  a7d11af
- Version 0.5.13
  rafie
  committed
  cfcb98f