Skip to content

Commit

Permalink
temporarily use edit-distance.js
Browse files Browse the repository at this point in the history
  • Loading branch information
cscheid committed Feb 20, 2024
1 parent 3321507 commit 52c0f9f
Show file tree
Hide file tree
Showing 2 changed files with 60 additions and 1 deletion.
59 changes: 59 additions & 0 deletions tools/trace-viewer/edit-distance.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion tools/trace-viewer/trace-viewer.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -136,7 +136,7 @@ trace = Generators.observe((change) => {
import { convertDoc } from "./convert-pandoc-json.js";
import { drawTree } from "./draw-tree.js";
import { jsonpatch } from "./jsonpatch.js";
import { editDistance } from "./edit-distance.ts";
import { editDistance } from "./edit-distance.js";
```

::: {.column-screen-inset}
Expand Down

0 comments on commit 52c0f9f

Please sign in to comment.