diff options
| author | Raghav Gururajan <raghavgururajan@disroot.org> | 2020-08-17 04:55:54 -0400 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2020-08-19 19:04:08 +0200 |
| commit | e4b107839364499be04d3c8604cc915c5ac5799e (patch) | |
| tree | d50206431491c93e07e79de80de6a741b5ea1ff3 /etc/news.scm | |
| parent | 50e28ad87cf6098ed8f30c250328a76d3e171a65 (diff) | |
| download | guix-e4b107839364499be04d3c8604cc915c5ac5799e.tar.gz | |
gnu: gnome-terminal: Enable gnome shell search provider.
* gnu/packages/gnome.scm (gnome-terminal) [inputs]: Add gnome-shell. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'etc/news.scm')
0 files changed, 0 insertions, 0 deletions