diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-04-09 14:43:24 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2018-04-09 14:50:37 +0200 |
| commit | e12ebb99e437fceb3195170f053908ec62cf32c3 (patch) | |
| tree | 8e18be58c17850ac4478e28aac6a5564b120dbe6 /coverity | |
| parent | 91404470d6a0eed17168c61c5402b16f3e0540e9 (diff) | |
osmo-clean-workspace.sh: make more robust against broken git clones
Change-Id: Ifa70fd75468b3e21b5c9327ea28bc7a4c8cb549d
Diffstat (limited to 'coverity')
0 files changed, 0 insertions, 0 deletions