## Default profile
##
## Put here configuration options which are useful in default builds and
## shouldn't be exposed in other profiles
