diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-12-06 22:18:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-06 22:18:40 +0100 |
| commit | d3c6dc6d97e2d411f5659ca75cfd355ecad073ae (patch) | |
| tree | 155aded537b059602ce5fdf60b57621491af5e59 /pkgs/development/python-modules/rangehttpserver | |
| parent | ff2fecf05af63cf991b5086439be90879ec060ab (diff) | |
| parent | f27994f87aed6ec38bbc762970243052bcdeb6dc (diff) | |
Merge pull request #268238 from r-ryantm/auto-update/minizinc
minizinc: 2.7.6 -> 2.8.0
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions