diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-04-14 16:56:05 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-04-14 16:56:05 -0400 |
| commit | d55c009f9bcf815e278dc49948e256b8e2bb34f0 (patch) | |
| tree | d19b5f913e388979da398a4ee8f18eb7750c4d84 /.gitignore | |
| parent | acb525a9072517b803309585c0ca60b346d924d6 (diff) | |
| download | configs-d55c009f9bcf815e278dc49948e256b8e2bb34f0.tar.gz configs-d55c009f9bcf815e278dc49948e256b8e2bb34f0.tar.xz configs-d55c009f9bcf815e278dc49948e256b8e2bb34f0.zip | |
bash: aur(): only try cloning if it doesn’t already exist
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions