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