diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-05-02 21:01:30 +0700 |
|---|---|---|
| committer | Ben Siraphob <bensiraphob@gmail.com> | 2021-05-03 09:10:37 +0700 |
| commit | 4ec2272826852cd7b843e34b113635d193b5b2dd (patch) | |
| tree | 506ffe10d276aec9057897979c0ede6088ba80b5 /pkgs/development/python-modules/rangehttpserver | |
| parent | ef0ad301dda62977527dcb4717af9a0303954c76 (diff) | |
top-level/coq-packages: remove dontDistribute
In the GitHub discussion of 527bad18d08b5f6b2c1496e684db0ec16eaf51c3,
it was decided to allow Hydra to build coqPackages.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions