Skip to content

Commit

Permalink
Update tools.md (rust-lang#207)
Browse files Browse the repository at this point in the history
  • Loading branch information
ReinierMaas authored Dec 6, 2024
1 parent e70a892 commit eae6c8b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/tools.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ The verification tool ecosystem for Rust is rapidly growing, and we welcome the
In this chapter, you can find a list of tools that have already been approved for new solutions,
what is their CI current status, as well as more details on how to use them.

If the tool you would like to add a new tool to the list of tool applications,
If you would like to add a new tool to the list of tool applications,
please see the [Tool Application](general-rules.md#tool-applications) section.

## Approved tools:
Expand Down

0 comments on commit eae6c8b

Please sign in to comment.