HomePhabricator

PowerShell: Rename profile file + small improvements

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

PowerShell: Rename profile file + small improvements

Details

Provenance
pmoreauAuthored on Jun 9 2022, 8:31 PM
pmoreauPushed on Jun 12 2022, 8:39 PM
Parents
rDOTd5f7e7fb220b: WIP: Redoing the NeoVim config
Branches
Unknown
Tags
Unknown