diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2025-04-20 23:40:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-20 23:40:12 +0200 |
| commit | e175357f9e1bc7ae8d00b2a92c4d7fff5bea051e (patch) | |
| tree | dc839222be1cb3a368d18d2d1f965c397c173bfa /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 46ab28f77a5324af31ca6cd695ec2ca8ec639d4e (diff) | |
| parent | fa09ff7a7d38a618a9d8e2e614dae6b175993a37 (diff) | |
isabelle: 2024 -> 2025 (#389562)
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions