]> git.cworth.org Git - notmuch/commitdiff
CLI/git: rename environment variables.
authorDavid Bremner <david@tethera.net>
Sun, 15 May 2022 16:47:54 +0000 (13:47 -0300)
committerDavid Bremner <david@tethera.net>
Fri, 17 Jun 2022 11:40:19 +0000 (08:40 -0300)
Although the code required to support both new and old environment
variables is small, it complicates the semantics of configuration, and
make the documentation harder to follow.


No differences found