Skip to content

Commit

Permalink
update CONTRIBUTING.md to fix a broken link
Browse files Browse the repository at this point in the history
  • Loading branch information
utaal authored Jan 18, 2025
1 parent bcad3df commit 4daed93
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ If you want to aid us in debugging (or are unable to share your full recording,

## Building Verus from Source

**See [BUILD.md](./build.md) for how to build Verus from source.**
**See [BUILD.md](BUILD.md) for how to build Verus from source.**

## Editing the source code of Verus

Expand Down

0 comments on commit 4daed93

Please sign in to comment.