Function end_list

web_server/public/javascripts/utilities.js:218–220

()

}

function end_list() {
    return ('</div>');
}

function end_div() {
    return ('</div>');