commit: f5325098b13311b0e61014f8f31f233be4b6ef05 Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net> AuthorDate: Sat Jun 8 06:47:53 2024 +0000 Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org> CommitDate: Sat Jun 8 07:56:47 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f5325098
dev-lang/mercury: remove unused local USE flag: [ erlang ] Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/37076 Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org> dev-lang/mercury/metadata.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml index 99628dd871a5..5061e4f27e59 100644 --- a/dev-lang/mercury/metadata.xml +++ b/dev-lang/mercury/metadata.xml @@ -3,7 +3,6 @@ <pkgmetadata> <!-- maintainer-needed --> <use> - <flag name="erlang">Support Mercury Erlang grade</flag> <flag name="trail">Support Mercury trail grades</flag> </use> </pkgmetadata>
