[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GLOBAL_COMMANDS needed for some customization (tex4ht for instance)
|
From: |
Gavin Smith |
|
Subject: |
Re: GLOBAL_COMMANDS needed for some customization (tex4ht for instance) |
|
Date: |
Sun, 7 Apr 2019 22:47:24 +0100 |
|
User-agent: |
Mutt/1.6.1 (2016-04-27) |
On Wed, Apr 03, 2019 at 11:36:26PM +0200, Patrice Dumas wrote:
> With the change I did it is not needed anymore for those commands to be
> in global commands. I think that they should actually be removed from
> the global commands.
Okay, done. Removed in commit 2045547.
>
> --
> Pat