summaryrefslogtreecommitdiff
path: root/backport_others
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-01-29 10:07:06 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-01-29 10:07:06 +0100
commit704d99ae8c617d14b2b20a907e3792c6d91c9e6f (patch)
tree21a16168b081ddfcba0f853dc14bc0d37866b343 /backport_others
parent2b081325209afdd689e2143b5904790eb1007436 (diff)
Use -t for getting sources as rkward did not work without
Diffstat (limited to 'backport_others')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint