diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2024-02-29 17:23:30 -0500 |
|---|---|---|
| committer | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2024-02-29 17:23:30 -0500 |
| commit | 5c853a3e1bd5e8f163ba8763474695ed5b1d6762 (patch) | |
| tree | 0d8e33d60dd42a425263d3ffd58bcbc0b25d6a92 /pkgs/development/compilers/idris2 | |
| parent | e4af98e12764cb1b2c2c26dcf31edf5af1552162 (diff) | |
root: workaround upsteam issue 14778 pr/root_workaround_14778
Diffstat (limited to 'pkgs/development/compilers/idris2')
0 files changed, 0 insertions, 0 deletions