diff options
author | Vincent Ambo <tazjin@google.com> | 2019-12-27T18·16+0100 |
---|---|---|
committer | Vincent Ambo <tazjin@google.com> | 2019-12-27T18·18+0100 |
commit | 1ea6dcabbb097ab7f4f57630c41f58b4df549095 (patch) | |
tree | eace0b878700a7d268ce668db826053c2a3dca2a /third_party/notmuch/default.nix | |
parent | 08dd267c19fcc224a48c2f5a5c0dacb7f8b8acea (diff) |
feat(third_party/notmuch): Patch notmuch to render time as dottime r/315
This implements support for dotti.me in notmuch by changing the formatting of relative and absolute times.
Diffstat (limited to 'third_party/notmuch/default.nix')
-rw-r--r-- | third_party/notmuch/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/notmuch/default.nix b/third_party/notmuch/default.nix index 3d45031a82a8..ddb764b0ae46 100644 --- a/third_party/notmuch/default.nix +++ b/third_party/notmuch/default.nix @@ -1,5 +1,6 @@ { pkgs, ... }: pkgs.third_party.originals.notmuch.overrideAttrs(old: { + doCheck = false; patches = [ ./dottime.patch ] ++ (if old ? patches then old.patches else []); }) |