deleted file object-cache.php

This commit is contained in:
2023-12-08 23:24:46 +00:00
committed by Gitium
parent 68d0f8ee2d
commit 50cc9dca5b
2840 changed files with 0 additions and 358705 deletions

View File

@ -1,8 +0,0 @@
#!/bin/sh
SSH_AUTH_SOCK=''
SSH="ssh -q -F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"
if [ -z "$GIT_KEY_FILE" ] ; then
exec $SSH "$@"
else
exec $SSH -i "$GIT_KEY_FILE" "$@"
fi