diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-29 10:07:06 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-01-29 10:07:06 +0100 |
| commit | 704d99ae8c617d14b2b20a907e3792c6d91c9e6f (patch) | |
| tree | 21a16168b081ddfcba0f853dc14bc0d37866b343 /backport_others | |
| parent | 2b081325209afdd689e2143b5904790eb1007436 (diff) | |
Use -t for getting sources as rkward did not work without
Diffstat (limited to 'backport_others')
0 files changed, 0 insertions, 0 deletions
