diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-11-08 23:05:00 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-11-08 23:05:00 +0100 |
| commit | 79acb560ecb9089e31efdea29c6046225971fee3 (patch) | |
| tree | 94f8e3c0cbafbd625ef42afeeafaf12bb2d75dbb /docs | |
| parent | 94586576a06cf5869d0cdea6d678a0448bb1fdf8 (diff) | |
Pin noproto git rev.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions