diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-31 17:46:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-31 17:46:45 +0100 |
| commit | ca43ced0ae0cce9c5738112c8cfd830931b628b1 (patch) | |
| tree | b2a092ee38ee741d91bf80794321413ead6ca97a /pkgs/development/python-modules/rangehttpserver | |
| parent | 3efa861365d2cefe3b16ce351eda8082d8a2c104 (diff) | |
| parent | b2c07d4a3487248b3e712f4434e50904e16eda06 (diff) | |
Merge pull request #284990 from Dekker1/minizincide282
minizincide: 2.5.5 -> 2.8.2
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions