diff options
| author | Marco Capitani <m.capitani@nextworks.it> | 2017-04-10 12:07:16 +0200 |
|---|---|---|
| committer | Marco Capitani <m.capitani@nextworks.it> | 2017-04-10 12:07:16 +0200 |
| commit | 8797eff49aede4ad06ba668e4cee59accc12d1af (patch) | |
| tree | bf3213073ff88ae3683acae5d3e2b9f2e07a0877 /tools | |
| parent | ae113f8d19eb29a0edb50bf790275414125f78ca (diff) | |
| download | rumba-8797eff49aede4ad06ba668e4cee59accc12d1af.tar.gz rumba-8797eff49aede4ad06ba668e4cee59accc12d1af.zip | |
Forced teardown. Ignores errors and makes sure that everything is pulled down.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions