dev-lang/gnat-gpl: Make USE=nptl local
authorMichał Górny <mgorny@gentoo.org>
Sun, 15 Sep 2019 14:51:30 +0000 (16:51 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sun, 15 Sep 2019 14:51:30 +0000 (16:51 +0200)
commit5d1713f67c7258c4e0ea9218eaa51e3ad4d50633
treed17aa153414f0c0be0d862737ba6b6c39e0c80e2
parent39a155c4d4cb3fcc858feb4d8c9a4aa424b7e777
dev-lang/gnat-gpl: Make USE=nptl local

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-lang/gnat-gpl/metadata.xml