diff options
| author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2024-09-12 21:09:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-12 21:09:04 +0200 |
| commit | bbf4cf5e77307117d206b58c19281e6195982697 (patch) | |
| tree | 00bd7e88c8293766c9a0658cb899504604c54942 /pkgs/development/python-modules/rangehttpserver | |
| parent | e7bcab801cdfe48ba982b0d654cc7230a9de6b13 (diff) | |
coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 (#341171)
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions