diff options
| author | Guilherme Silva <guilhermehas@hotmail.com> | 2021-07-24 02:46:44 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-24 06:46:44 +0100 |
| commit | cdac06c9bbd6f1f71b9afac48ec67fe91226ea6d (patch) | |
| tree | 85c4b59922da59481f77b6f8b25a1356a4c7287f /pkgs/development/python-modules/rangehttpserver | |
| parent | 1464836d28f6158e2253543a65bbde23c4148f8e (diff) | |
Agda cubical 2.6.2 fix (#131280)
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions