HomePhabricator

Git: Remove unused tools

Description

Git: Remove unused tools

Details

Provenance
pmoreauAuthored on May 1 2022, 1:05 PM
pmoreauPushed on May 1 2022, 1:07 PM
Parents
rDOT55cbaf11a3a6: Git: Use git-delta as pager
Branches
Unknown
Tags
Unknown