Skip to content

Commit

Permalink
Added a helpful sentence
Browse files Browse the repository at this point in the history
  • Loading branch information
cbrxyz committed Sep 14, 2023
1 parent 32031c1 commit 1b86941
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion docs/software/devtools.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,8 @@ These tools serve to be like little assistants, polietly cleaning up your code
behind you and warning you about potential errors that may occur as you change
existing code and contribute new code.

Let's discuss how we can use some of these tools.
Let's discuss how we can use some of these tools. These tools are great and help
us do a lot in MIL!

## `pre-commit`

Expand Down

0 comments on commit 1b86941

Please sign in to comment.