Renamed patch to more accurate name.

[ion3.git] / debian / patches / extra / debian-menu.cfg

-- Auto-generated Debian menu definitions
if os.execute("test -x /usr/bin/update-menus") == 0 then
    if ioncore.is_i18n() then
        dopath("debian-menu-i18n")
    else
        dopath("debian-menu")
    end
end