diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-17 23:01:48 +0300 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-17 23:01:48 +0300 |
| commit | 55e5de416f19973a821606e92818ab4981eefc50 (patch) | |
| tree | b740a15f0ea428e5a7d733f933b91cd3e0077285 /pkgs/development/python-modules/rangehttpserver | |
| parent | f31001c5b35d1c0a507efd3b75fafe39c37b6f67 (diff) | |
isabelle-components.isabelle-linter: add platforms
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions