diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2020-05-06 17:36:03 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2020-05-06 17:37:48 +0200 |
| commit | b17b29454d5edd61eecb4536461789b7a3865a9a (patch) | |
| tree | 2a57c8680e25ff3663f436c8050cbbf77dbd8e06 /graph.js | |
| parent | 9b1f80a4660703a1871b0d73224177600f161d44 (diff) | |
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.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions