HomePhabricator

Remove configuration for kitty

Description

Remove configuration for kitty

Details

Provenance
pmoreauAuthored on Jun 16 2022, 2:06 AM
pmoreauPushed on Jun 16 2022, 2:15 AM
Parents
rDOTa07c92291f11: PowerShell: Rename profile file + small improvements
Branches
Unknown
Tags
Unknown