diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-17 08:07:52 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-17 08:07:52 +0100 |
| commit | cfbc38432a14b195e38af1ceb4247bae5bbe2efe (patch) | |
| tree | 79bbec9a8e36ab26ecfa76ab308411c62ff036d8 /docs | |
| parent | f158185b8a7970c22b1feb04f96aa5a23047dd3d (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