diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-15 02:00:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-05-22 02:00:00 +0200 |
| commit | 1d40b466d0de987c81c9f582cf120698e105b80c (patch) | |
| tree | f5c5e0877477d3c56ab1d42c2c8748ee7d3654c2 /gnu/packages/patches/python-flint-includes.patch | |
| parent | 6d1980d01b4dd3540be63a80b370d04de6e0b727 (diff) | |
gnu: mlterm: Remove input labels.
* gnu/packages/terminals.scm (mlterm)[native-inputs, inputs]:
Remove input labels.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions