private var _default_config_file: String

github :: LoaderConfig :: _default_config_file

Property definitions

github $ LoaderConfig :: _default_config_file 
	redef var default_config_file = "loader.ini"
lib/github/loader.nit:29,2--45
Nit tools. Version .