Luca Bruno dfd66fe9ab profiles: only prune development tools on prod
This commit moves some masked entries (mostly autotools binaries)
from common config to the prod profile, so that development packages
are fully functional on dev profile.
2016-07-21 21:36:57 +00:00
..