%% encoding: UTF-8
{application,gen_leader}.
{modules,[gen_leader]}.
