diff options
author | 2018-12-23 14:30:15 +0530 | |
---|---|---|
committer | 2018-12-23 14:30:15 +0530 | |
commit | ca38bc324245143857a6bfa5c03d684b90d1abac (patch) | |
tree | fbb0801b2f3ef2db57bc4ebb3588bc3a50df3f23 | |
parent | testconf: allow picking up a custom rc file if available (diff) | |
download | gitolite-gentoo-ca38bc324245143857a6bfa5c03d684b90d1abac.tar.gz gitolite-gentoo-ca38bc324245143857a6bfa5c03d684b90d1abac.tar.bz2 gitolite-gentoo-ca38bc324245143857a6bfa5c03d684b90d1abac.zip |
option command needed chmod +x
-rwxr-xr-x[-rw-r--r--] | src/commands/option | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/commands/option b/src/commands/option index de49aab..de49aab 100644..100755 --- a/src/commands/option +++ b/src/commands/option |