diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-02 12:36:15 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-02 12:36:15 +0700 |
| commit | f4ccef09990431b2793800e2ecc09a43ba3c0997 (patch) | |
| tree | aac1555b898e5d3f7169c97a8f983c5545d9aca5 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | d8079260a3028ae3221d7a5467443ee3a9edd2b8 (diff) | |
| parent | 9fd32c9121069f07a53c88863969e290d4d0a211 (diff) | |
Merge pull request #128869 from siraben/itauto-init
coqPackages.itauto: init at 8.13+no
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions
