From 64546203077060747d80e2aecdc5edd65692bf88 Mon Sep 17 00:00:00 2001 From: Daniel Barlow Date: Thu, 29 Dec 2022 17:34:51 +0000 Subject: [PATCH] ignore generated file --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f78edd1 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +doc/index.html