From a788d1eed775315b82de98ae7c5e1a087665e55f 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