Function unbreak

code.js:119–122

(i, j)

}

function unbreak(i, j) {
    // Must reload the page since the graph has changed.
    document.location = "/unbreak?from=" + i + "&to=" + j
}

// addImports adds option elements to the select element,
// one per package index in the packageIDs array.