dblume
Better filename expansion for git diff; replace mode workaround
dblume commited 7a3e944 at 2023-02-12 00:31:25