From fe6aa715107c529e67cecf4aa98f644e6a70e6bf Mon Sep 17 00:00:00 2001 From: Daniel Santos Date: Thu, 21 Jul 2022 16:17:58 +0100 Subject: update .gitignore Signed-off-by: Daniel Santos --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index de2b530..fa2f70b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,6 @@ /*-to-* +/uninfinity /*.o /lib +doc/ +html/ -- cgit 1.4.1-2-gfad0