gnu: gnome-themes-extra: Remove cache file.
authorRaghav Gururajan <raghavgururajan@disroot.org>
Sun, 29 Dec 2019 16:45:24 +0000 (11:45 -0500)
committerJulien Lepiller <julien@lepiller.eu>
Sun, 29 Dec 2019 17:29:36 +0000 (18:29 +0100)
commit885424bf7f6e0bc0ad5dd9353690aa82d17dd8b8
tree8c7f409ca6cbd7012f961eec37153a6cb3c59a23
parenta4ee6ac444ca71a93101b48bc1e6a5710026266c
gnu: gnome-themes-extra: Remove cache file.

* gnu/packages/gnome.scm (gnome-themes-extra)[arguments]: Disable cache file
from configure flags.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu/packages/gnome.scm