diff options
| author | Anatol Belski <ab@php.net> | 2015-08-10 09:50:54 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2015-08-10 09:50:54 +0200 |
| commit | c0b3665f3735aa8583135528ff6a26ce6c69224d (patch) | |
| tree | e96ea0f097ea41bab7d594a8e8d72ebeb87f9410 /scripts/dev | |
| parent | 7600f5246c8f5465f0c457c238cafac9897c1128 (diff) | |
| download | php-git-c0b3665f3735aa8583135528ff6a26ce6c69224d.tar.gz | |
make scripts/dev/gen_verify_stub executable
Diffstat (limited to 'scripts/dev')
| -rwxr-xr-x[-rw-r--r--] | scripts/dev/gen_verify_stub | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/dev/gen_verify_stub b/scripts/dev/gen_verify_stub index e8416b0d0f..e8416b0d0f 100644..100755 --- a/scripts/dev/gen_verify_stub +++ b/scripts/dev/gen_verify_stub |