diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2020-05-24 22:49:35 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-24 22:49:35 -0500 |
| commit | bc4469005ea57b32fe420aabb029de0406ff6bc3 (patch) | |
| tree | 9156f2c813f57c9403ce3fbd692427fbeb06b3c8 /pkgs/development/python-modules/debugpy/fix-test-pythonpath.patch | |
| parent | 06d6c42255a80bc7f831bf4803484c1b4f329948 (diff) | |
| parent | 7573e99a60b6d1b9ad15cb59489b07d6e7ec792c (diff) | |
Merge pull request #88824 from r-ryantm/auto-update/lean
lean: 3.13.1 -> 3.14.0
Diffstat (limited to 'pkgs/development/python-modules/debugpy/fix-test-pythonpath.patch')
0 files changed, 0 insertions, 0 deletions