diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-28 22:45:09 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-28 22:45:09 +0100 |
| commit | f39869264ff0b7c81fe9c463db9e3f7944a9cd20 (patch) | |
| tree | 002d0eddfaf377facfcd807c262de6c99b001d83 /dev-lang/idris2 | |
| parent | 852755c64dfdf54c5457f631bfc34ced2e58fdb8 (diff) | |
gentoo auto-resync : 28:08:2022 - 22:45:09
Diffstat (limited to 'dev-lang/idris2')
0 files changed, 0 insertions, 0 deletions