@ -67,6 +67,7 @@ function diff(current, checked) {
let filenames_checked = lines_checked.map(l => l.split(" ")[0]);
console.log(lines_current, lines_checked);
console.log(filenames_checked);
let result = "";
for (let line of lines_current) {