diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-02-10 21:35:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-10 21:35:55 +0100 |
| commit | 9d579087ef9ebe03e03ac00bb1cc9dd22b8b7a79 (patch) | |
| tree | 152d57e7ffed607239505a515fd259e021336117 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 7c66bc81f028f1404d83d01cebadfaf1b1be4774 (diff) | |
| parent | d952b5884c312a3ea34422d2705b264b9a16b772 (diff) | |
Merge pull request #287718 from trofi/mcrl2-update
mcrl2: 202206 -> 202307
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions
