diff options
| author | Dennis Gosnell <cdep.illabout@gmail.com> | 2022-09-16 09:09:09 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-16 09:09:09 -0400 |
| commit | 533e1f0468e7ff46b7763e982ae9c6741ee843cf (patch) | |
| tree | cab535f31caa5ddea3d2f433bc56a2ee5a4cfcd1 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 2bc1ab2917d10dd83917aab4942216109158b1cb (diff) | |
| parent | 6cc6850fe23dbd85609c38796dc2f290aed06ccc (diff) | |
Merge pull request #190795 from cdepillabout/coq-add-docs
doc/language-frameworks/coq: add explanation of how to override packages
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions