diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:45:58 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-01-05 14:45:58 +0000 |
| commit | 78dba7382ca61a52a07ed244abc1665c81659df1 (patch) | |
| tree | e7fc84044ba6ec477251700b3fdd4799cc542f56 /.guix-authorizations | |
| parent | 644aa85ed577fc56ffd1f2c884fdf372ea5b02e7 (diff) | |
agda-categories: remove unnecessary version suffix
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions