# Default config file path
var default_config_file = "config.ini" is writable
lib/config/config.nit:317,2--318,51
redef var default_config_file = "loader.ini"
lib/github/loader.nit:29,2--45
redef var default_config_file: String = "app.ini"
lib/popcorn/pop_config.nit:102,2--50