From 2b9e0402bf88c61b7d82fff96ece79af89cce0d0 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Sun, 20 Oct 2024 14:11:17 -0500 Subject: [PATCH] update tokei --- .ignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.ignore b/.ignore index 0863ea9..03227d9 100644 --- a/.ignore +++ b/.ignore @@ -1,2 +1,4 @@ .git .DS_Store +resources/ +src/HoTTEST/ \ No newline at end of file