diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-04-30 10:40:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-30 10:40:35 +0100 |
| commit | 2b3da2708e3e3ce1694c4e6439269462aa9f60fd (patch) | |
| tree | 6c0bdeff8a4672a3040e0dad888cd9de91eeedd8 /pkgs/development/python-modules/python-gitlab | |
| parent | f39fd193032ce306e01abb51a1a83aaca7c3821b (diff) | |
| parent | ac885e1b876b1d9ed4b48932fe3f36bc7bbffaa3 (diff) | |
Merge pull request #86372 from marsam/fstar-completions
fstar: install completions
Diffstat (limited to 'pkgs/development/python-modules/python-gitlab')
0 files changed, 0 insertions, 0 deletions