summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorBrendan Tildesley <brendan.tildesley@openmailbox.org>2017-12-01 14:14:06 +1100
committerMarius Bakke <mbakke@fastmail.com>2020-04-02 20:55:14 +0200
commita6ac679f0a5556ad301e6f59755ec1886833ba82 (patch)
tree4e7a1fd7902e2b628b15ad911290c48fe83f9bba /gnu/packages/coq.scm
parent79e5d150c637d56df80c8b69d35941f4798217ae (diff)
downloadguix-a6ac679f0a5556ad301e6f59755ec1886833ba82.tar.gz
gnu: gnome-default-applications: Change defaults.list to gnome-mimeapps.list.
* gnu/packages/gnome.scm (gnome-default-applications)[arguments]: Change
deprecated defaults.list filename to gnome-mimeapps.list.  The old
defaults.list was changed to mimeapps.list in the mime spec. The gnome- prefix
makes the file only be read when XDG_CURRENT_DESKTOP=GNOME.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions