var $app_name = 'WimBuilder';
var $app_ver = '2022.02.02';
var $app_rev = '0a02f3aa';
var $app_verstr = $app_ver + '.' + $app_rev;
var $app_title = 'Wim Builder';

var $app_opt = 'support';

var $app_menu = {
    'start':'Getting Started',
    'project':'Project',
    'patch':'Customize',
    'build':'Building',
    'settings':'Settings',
    'advanced':'Advanced',
    'about':'About',
}
