gnu: gnome-todo: Fix build.
authorDanny Milosavljevic <dannym@scratchpost.org>
Wed, 6 May 2020 15:36:03 +0000 (17:36 +0200)
committerDanny Milosavljevic <dannym@scratchpost.org>
Wed, 6 May 2020 15:37:48 +0000 (17:37 +0200)
commitb17b29454d5edd61eecb4536461789b7a3865a9a
tree2a57c8680e25ff3663f436c8050cbbf77dbd8e06
parent9b1f80a4660703a1871b0d73224177600f161d44
gnu: gnome-todo: Fix build.

* gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch: New file.
* gnu/packages/gnome.scm (gnome-todo)[source]: Add it.
* gnu/local.mk (dist_patch_DATA): Add it.
gnu/local.mk
gnu/packages/gnome.scm
gnu/packages/patches/gnome-todo-delete-esource-duplicate.patch [new file with mode: 0644]