diff options
| author | wchresta <34962284+wchresta@users.noreply.github.com> | 2020-05-26 18:34:10 -0400 |
|---|---|---|
| committer | wchresta <34962284+wchresta@users.noreply.github.com> | 2020-05-26 18:38:54 -0400 |
| commit | 7fc97cf30b455f62af0b10ff99f8330a6e0170f8 (patch) | |
| tree | bc2274a0703d4915d242f34d2c4389d204f95587 /pkgs/development/python-modules/debugpy/fix-test-pythonpath.patch | |
| parent | 4c8c8885c3c1a73b9acbd4d4ab3d5b202e768c7c (diff) | |
idris2: 0.2.0-840e020 -> 0.2.0
* Upgrade to release version of idris2
* Add config for proper testing phase
Diffstat (limited to 'pkgs/development/python-modules/debugpy/fix-test-pythonpath.patch')
0 files changed, 0 insertions, 0 deletions