From 1b86941bf28dbf752d26da5084bce8df9a5a5ebc Mon Sep 17 00:00:00 2001 From: Cameron Brown Date: Thu, 14 Sep 2023 17:21:58 -0400 Subject: [PATCH] Added a helpful sentence --- docs/software/devtools.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/software/devtools.md b/docs/software/devtools.md index 06fc220d2..58ea94514 100644 --- a/docs/software/devtools.md +++ b/docs/software/devtools.md @@ -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`