From 14710dec90bcd6b3ece516315bb80d494cd01385 Mon Sep 17 00:00:00 2001 From: Kayne Ruse Date: Mon, 7 Nov 2022 10:12:15 +0000 Subject: [PATCH] Tweaked README.md --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index c042af8..675d1fe 100644 --- a/README.md +++ b/README.md @@ -27,6 +27,12 @@ Note: For Linux, you may need to `cd` into the `out` directory before running. Note: MacOS is not officially supported (no machines for testing), but we'll do our best! +## Tools + +Run `make install-tools` to install a number of tools, including: + +* VSCode syntax highlighting + ## Syntax ```