diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-07-07 15:03:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-07 15:03:40 +0200 |
| commit | 8d82432364b7a5a4cecddf073f1149d21c9a563a (patch) | |
| tree | b369e6eb6331d345c8aa80e6fdfaddc11d20ecfe /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 074641350f1480bb01307375c3b047ad42d34e93 (diff) | |
| parent | ed0f599b4fd080228cd4ef966dd2637c106a528c (diff) | |
Merge pull request #314295 from jvanbruegge/isabelle-2024
isabelle: 2023 -> 2024
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions