From cea4afffc155e1834ca53973d61dff1a9b77f69e Mon Sep 17 00:00:00 2001 From: Andrey Semashev Date: Fri, 13 Jun 2025 01:30:11 +0300 Subject: [PATCH] Added .gitignore for docs. --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/.gitignore diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..1936cc1 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +html