|
From: | fabrice nicol |
Subject: | bug#47408: Etags support for Mercury [v0.5] |
Date: | Sun, 6 Jun 2021 15:34:30 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.2 |
Le 06/06/2021 à 11:48, Eli Zaretskii a écrit :
From: fabrice nicol <fabrnicol@gmail.com> Cc: 47408@debbugs.gnu.org Date: Tue, 1 Jun 2021 04:38:56 +0200 Mercury-specific declarations will be tagged by default.Thanks, I installed the changes. I see that there's no Mercury support for ctags (the 'ctags' output of the test suite remained without change) -- is that intentional?
[Prev in Thread] | Current Thread | [Next in Thread] |