diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2022-08-12 05:40:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-12 05:40:55 -0500 |
| commit | e27fb54ad8fd290dc38dd629b52265a72136e509 (patch) | |
| tree | 62ac5e11fd4252708e75cc9a2adeee0d625a82e5 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | b0f8d89333630f9652a1bb8669f2e4bb605cd01b (diff) | |
| parent | 3bf4c6f470dace7de40f0a4f00ebcde66bebf939 (diff) | |
Merge pull request #185834 from kilianar/lean-3.46.0
lean: 3.45.0 -> 3.46.0
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions