Skip to content
This repository has been archived by the owner on Jan 30, 2024. It is now read-only.

extend --shorten-paths; highlight path segments#210

Merged
bors[bot] merged 7 commits intomainfrom highlight-path-segmentsMay 20, 2021

Commits

Commits on May 20, 2021