function empty()

in js/downloads.js [29:31]


function empty(el) {
  el.innerHTML = "";
}