diff options
| author | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 19:49:25 +0200 |
|---|---|---|
| committer | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 19:50:04 +0200 |
| commit | 8eb0413c05df225fa697d3d413bfa25158d753ce (patch) | |
| tree | dd965fb781afc32e004f57c8366b614ea1cd1322 /pkgs/development/python-modules/termplotlib | |
| parent | 7df8575a723abaac022fa6bbd77aba66b96631f6 (diff) | |
idrisPackages.heyting-algebra: remove
Diffstat (limited to 'pkgs/development/python-modules/termplotlib')
0 files changed, 0 insertions, 0 deletions