diff options
| author |   Keri Harris <keri@gentoo.org> | 2017-09-30 13:32:16 +0200 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2017-09-30 13:32:16 +0200 |
| commit | 940d71899dc80882ebdaeab62fd79e647e851dce (patch) | |
| tree | 1009513450327ee0cce2aa5fb04671c55c5bd7b4 /dev-lang/mercury/metadata.xml | |
| parent | x11-misc/rofi: Version bump. (diff) | |
| download | gentoo-940d71899dc80882ebdaeab62fd79e647e851dce.tar.gz gentoo-940d71899dc80882ebdaeab62fd79e647e851dce.tar.bz2 gentoo-940d71899dc80882ebdaeab62fd79e647e851dce.zip | |
dev-lang/mercury: version bump
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Diffstat (limited to 'dev-lang/mercury/metadata.xml')
| -rw-r--r-- | dev-lang/mercury/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml index 8db223fdceb6..9ecd0bc6506f 100644 --- a/dev-lang/mercury/metadata.xml +++ b/dev-lang/mercury/metadata.xml @@ -7,5 +7,6 @@ </maintainer> <use> <flag name="erlang">Support Mercury Erlang grade</flag> + <flag name="trail">Support Mercury trail grades</flag> </use> </pkgmetadata> |