Merge pull request #110 from GaloisInc/vr/vscode

vscode: add two more screenshots
GaloisInc · Sep 17, 2021 · 7d61e49 · 7d61e49
2 parents f3d02a0 + f2d8cd5
commit 7d61e49
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/vscode-plugin/assets/reopt-full-window-project-file.png b/vscode-plugin/assets/reopt-full-window-project-file.png
diff --git a/vscode-plugin/assets/reopt-full-window-vcg-diagnostics.png b/vscode-plugin/assets/reopt-full-window-vcg-diagnostics.png