diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-31 00:00:46 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-05-31 00:16:13 +0200 |
| commit | 2a9761b13b44032f8d902e0fcfecd0659cbfa8c8 (patch) | |
| tree | 0cbbafb9e18e9b943d89404fb2414a7dab516432 /gnu/packages/patches/python-flint-includes.patch | |
| parent | 9c12c277b1400b896f547465907b8f09eb90953f (diff) | |
gnu: totem: Don't use NAME in source URI.
* gnu/packages/gnome.scm (totem)[source]: Hard-code NAME.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions