From 6c6d024be9d2879e0cba441b3003fe63cd081450 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A9ry=20Debongnie?= Date: Sun, 5 Mar 2023 07:49:25 +0100 Subject: [PATCH] [IMP] .gitignore: ignore tools/devtools build folder Otherwise, it is annoying to have build files that should never be committed anyway --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index d025ba40..e023c036 100644 --- a/.gitignore +++ b/.gitignore @@ -22,6 +22,7 @@ node_modules # Extras temp file /tools/owl.js +/tools/devtools/build release-notes.md