# File where default configuration is kept
