diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-11-10 00:41:55 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-11-10 01:34:39 +0100 |
commit | a8d9d706b5d031fa31f0ffadeb15ba5124f3de8f (patch) | |
tree | b449179d9b2a36f012166b6e52aaf580dbc33e41 /doc/htmlxref.cnf | |
parent | 4c003c5f2d8a2174210f1cb7f0f8b1f5af738952 (diff) | |
download | patches-a8d9d706b5d031fa31f0ffadeb15ba5124f3de8f.tar patches-a8d9d706b5d031fa31f0ffadeb15ba5124f3de8f.tar.gz |
gnu: xfce4-whiskermenu-plugin: Don't use NAME in source URI.
* gnu/packages/xfce.scm (xfce4-whiskermenu-plugin)[source]: Hard-code NAME.
Diffstat (limited to 'doc/htmlxref.cnf')
0 files changed, 0 insertions, 0 deletions