diff options
| author | Miran Bastaja <mbastaja@sorre.xyz> | 2025-03-11 15:10:39 +0100 |
|---|---|---|
| committer | Miran Bastaja <mbastaja@sorre.xyz> | 2025-03-11 15:10:44 +0100 |
| commit | 750640348cd16c496a0fbedd6f2a8f7da1b36915 (patch) | |
| tree | 2e6dddca567fca249c85537b93da5756badf83b4 /.githooks | |
| parent | 8adcaf27bfc508f02418a1a0c340687c5b7e0b2b (diff) | |
dev-stuff: add idris2
Diffstat (limited to '.githooks')
0 files changed, 0 insertions, 0 deletions