diff options
author | Eric Wong <e@80x24.org> | 2022-08-29 09:26:47 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2022-08-29 19:06:35 +0000 |
commit | 35b7adee1f01a7cce720d944e1666aa44717d024 (patch) | |
tree | bfd2441f6bf8311308400ecad2baadde2035c736 /Makefile.PL | |
parent | a99bf0f90d6d59b8c81876651aaabcd2fd1c4094 (diff) | |
download | public-inbox-35b7adee1f01a7cce720d944e1666aa44717d024.tar.gz |
This is more consistent with the rest of the output where it's "$TYPE $OID" rather than "$OID $TYPE". The former also allows easy copy+pasting into commands for both "git cat-file blob $OID" and "lei blob $OID".
Diffstat (limited to 'Makefile.PL')
0 files changed, 0 insertions, 0 deletions