From 92f29bf794687edf798a737e6d28302ef677e52c Mon Sep 17 00:00:00 2001 From: yannickreiss Date: Mon, 18 Mar 2024 12:21:05 +0100 Subject: [PATCH] No unneccessary files in git repo --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e62b85d..37aeedf 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ test/sim_build test/__pycache__/ test/results.xml test/gate_level_netlist.v +.hdl_checker