Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
xriss committed Oct 28, 2023
1 parent 4cab7d7 commit 0c704d4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion js/plated_files.js
Original file line number Diff line number Diff line change
Expand Up @@ -738,7 +738,7 @@ finished.
{
console.log(timestr()+" FILE "+"/"+s)
await plated_files.build_file(s);
await plated_output.write_map(); // update map
await plated.output.write_map(); // update map
}

}
Expand Down

0 comments on commit 0c704d4

Please sign in to comment.