diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-01-01 11:21:10 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-01-01 11:21:10 +0100 |
| commit | 5d354dbf3fae6b58eb970d338f56a3abd41f58fc (patch) | |
| tree | c9e68cbaab22c268cdf4bc61e04a09a0fde968bb /profiles | |
| parent | dev-ada/gnatcoll-bindings: remove old versions (diff) | |
| download | gentoo-5d354dbf3fae6b58eb970d338f56a3abd41f58fc.tar.gz gentoo-5d354dbf3fae6b58eb970d338f56a3abd41f58fc.tar.bz2 gentoo-5d354dbf3fae6b58eb970d338f56a3abd41f58fc.zip | |
package.mask: remove gnatcoll-bindings from last rite
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 2b019bf39eda..312802b95fb6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -421,7 +421,6 @@ dev-ada/langkit dev-ada/libadalang dev-ada/libadalang-tools dev-ada/gps -dev-ada/gnatcoll-bindings dev-ada/gnatcoll-db # Mart Raudsepp <leio@gentoo.org> (2020-08-15) |