profiles: adjust mask comment
authorDavide Pesavento <pesa@gentoo.org>
Sun, 18 Oct 2015 21:26:23 +0000 (23:26 +0200)
committerDavide Pesavento <pesa@gentoo.org>
Sun, 18 Oct 2015 21:26:23 +0000 (23:26 +0200)
commit5be0dd48d2c7f79ad3bd4afcd1c48cb74b5b5cc6
treeba38b7a90a24c45f2da266d3f6de629f5628d119
parent776b5b29defd3da20b2148b88a2605f62d82872b
profiles: adjust mask comment

Signed-off-by: Davide Pesavento <pesa@gentoo.org>
profiles/arch/arm/package.use.mask