diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-10-25 14:22:31 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-10-25 14:22:31 +0100 |
| commit | f0a69b522c09218e09f6c1d39decab66e1de3848 (patch) | |
| tree | 8ef58570ae4cd62d9432d93bc4dc4c56d9b62a28 /yellowsquid.key | |
| parent | ed8ba9a77ea1891c5a729e7bbfa3058bf0ba8e6e (diff) | |
idris2: update git revision.
Diffstat (limited to 'yellowsquid.key')
0 files changed, 0 insertions, 0 deletions