diff options
| author | Anders Kaseorg <andersk@mit.edu> | 2022-04-25 13:31:21 -0700 |
|---|---|---|
| committer | Anders Kaseorg <andersk@mit.edu> | 2022-04-25 13:35:06 -0700 |
| commit | 00e66f10fa1120875201eace3b0a238f7d1b39ca (patch) | |
| tree | e997688944582456f2c7b829be6a2a0e847fc8cf /pkgs/development/python-modules/rangehttpserver | |
| parent | 87d34a6b8982e901b8e50096b8e79ebc0e66cda0 (diff) | |
coq: Rename internal versionAtLeast helper to coqAtLeast
To avoid potential confusion with lib.versionAtLeast.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions