diff: rename diff_fill_sha1_info to diff_fill_oid_info
[git] / unimplemented.sh
1 #!/bin/sh
2
3 echo >&2 "fatal: git was built without support for $(basename $0) (@@REASON@@)."
4 exit 128