diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-08-08 14:42:16 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-08-10 06:50:18 +0200 |
| commit | 57037916b0401bd843b3678d888d253e9a36e92a (patch) | |
| tree | ea9296f5917874c6fafd172237dd15ef99e2ece6 /crypto-pgpainless/api | |
| parent | 2adbeeeba7e715ce1a26c1e56e4528cae54e8bf2 (diff) | |
check that we have a repository before cloning
Diffstat (limited to 'crypto-pgpainless/api')
0 files changed, 0 insertions, 0 deletions