aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-12-17 08:07:52 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2020-12-17 08:07:52 +0100
commitcfbc38432a14b195e38af1ceb4247bae5bbe2efe (patch)
tree79bbec9a8e36ab26ecfa76ab308411c62ff036d8 /docs
parentf158185b8a7970c22b1feb04f96aa5a23047dd3d (diff)
Some package switched from git2r to gert
so we need libgit2-dev on the system
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint