diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2024-06-08 08:47:53 +0200 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2024-06-08 09:56:47 +0200 |
| commit | f5325098b13311b0e61014f8f31f233be4b6ef05 (patch) | |
| tree | 64ff718ff198bda310b74cac89ef66c0488a774b /dev-lang/mercury | |
| parent | dev-lang/mercury-extras: drop 20.06, 20.06.1, 22.01 (diff) | |
| download | gentoo-f5325098b13311b0e61014f8f31f233be4b6ef05.tar.gz gentoo-f5325098b13311b0e61014f8f31f233be4b6ef05.tar.bz2 gentoo-f5325098b13311b0e61014f8f31f233be4b6ef05.zip | |
dev-lang/mercury: remove unused local USE flag: [ erlang ]
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/37076
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-lang/mercury')
| -rw-r--r-- | dev-lang/mercury/metadata.xml | 1 |
1 files changed, 0 insertions, 1 deletions
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> |