From 57caba5360750ceb9ca134a34c3c82c0110ad998 Mon Sep 17 00:00:00 2001 From: Oleksandr Kozachuk Date: Sun, 7 May 2023 14:02:19 +0200 Subject: [PATCH] Ignore noweb for now. --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 0f48159..4ade1df 100644 --- a/.gitignore +++ b/.gitignore @@ -129,4 +129,5 @@ dmypy.json .pyre/ .config.yaml -db \ No newline at end of file +db +noweb \ No newline at end of file