?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'wp/doc-filter-direction' into maint
[git/kirr.git] / unimplemented.sh
blob5252de4b252070637c1b4badf7989e791f3b8c75
1 #!/bin/sh
2
3 echo >&2 "fatal: git was built without support for `basename $0` (@@REASON@@)."
4 exit 128
kirr's git tree