Repository navigation

respect `use_short_path` on trace - #702

Merged

ko1 merged 2 commits into

short_path_on_trace

Jul 11, 2022

Merged

respect `use_short_path` on trace#702
ko1 merged 2 commits into
masterfrom
short_path_on_trace

Commits on Jul 11, 2022
- respect `use_short_path` on trace
  ko1
  committed
  0cf839f
- cosmetic changes
  ko1
  committed
  f5f8810