From cb58b78781f631835fa4be11fba090d409a4b7eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timoth=C3=A9e=20Rebours?= Date: Tue, 18 Jan 2022 09:35:33 +0100 Subject: [PATCH] remove useless gitignore entry --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 81b6ed6..e7cc9b2 100755 --- a/.gitignore +++ b/.gitignore @@ -26,4 +26,3 @@ browser-version/node_modules browser-version/out test-results -docs-html