diff options
| author | Raghav Gururajan <raghavgururajan@disroot.org> | 2019-12-29 11:45:24 -0500 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-12-29 18:29:36 +0100 |
| commit | 885424bf7f6e0bc0ad5dd9353690aa82d17dd8b8 (patch) | |
| tree | 8c7f409ca6cbd7012f961eec37153a6cb3c59a23 /bootstrap | |
| parent | a4ee6ac444ca71a93101b48bc1e6a5710026266c (diff) | |
| download | patches-885424bf7f6e0bc0ad5dd9353690aa82d17dd8b8.tar patches-885424bf7f6e0bc0ad5dd9353690aa82d17dd8b8.tar.gz | |
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>
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions