diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-03 17:57:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-03 17:57:33 +0100 |
| commit | e20d3f59495c6eb6d3a4a6f13b089165fdd1987f (patch) | |
| tree | 4325a1e44fd35c6bafcada0840d42d26f3150bb8 /pkgs/development/python-modules/httpserver | |
| parent | dceb78ee13d43ee2eca9db1a2ff0d239427eb3cd (diff) | |
| parent | 49b2c113cc54c70c1e34c163f8e081f6c75b0c95 (diff) | |
Merge pull request #274844 from r-ryantm/auto-update/minizinc
minizinc: 2.8.0 -> 2.8.2
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions
