diff options
| author | Mike Vink <mike@pionative.com> | 2025-02-02 14:39:18 +0100 |
|---|---|---|
| committer | Mike Vink <mike@pionative.com> | 2025-02-02 14:39:18 +0100 |
| commit | 0d7b10a84f106d106b91c93b903e707f3aa40ba7 (patch) | |
| tree | 0912063cd67518f147472c616c68b27aa0fe3a90 /.github/pre-commit | |
| parent | 02d42f807c0e2d7bf16f1fb7cd10559243ed86d3 (diff) | |
add progs.csv
Diffstat (limited to '.github/pre-commit')
0 files changed, 0 insertions, 0 deletions