config_query GDA_DEVEL "Use devel version?" n
