diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-18 00:16:53 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-18 00:16:53 +0300 |
| commit | 2597afa874555525c95a31101b735ec86026871a (patch) | |
| tree | b9978707e9907bacbbd08b14601c516f4b4511cc /pkgs/development/python-modules/rangehttpserver | |
| parent | 31be1604f5b7fbbaa10e3c1b6348393308b414ce (diff) | |
| parent | 55e5de416f19973a821606e92818ab4981eefc50 (diff) | |
Merge pull request #232489 from wegank/isabelle-linter-platforms
isabelle-components.isabelle-linter: add platforms
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions