From ed40fe291ddd70b3ed5bef6d3b501ac50f466700 Mon Sep 17 00:00:00 2001
From: Alice <alice.poggioli@hotmail.fr>
Date: Wed, 6 May 2020 15:55:12 +0200
Subject: [PATCH] fix merge

---
 src/scripts/coopstarter.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/scripts/coopstarter.js b/src/scripts/coopstarter.js
index 9f321b65..c8d17321 100644
--- a/src/scripts/coopstarter.js
+++ b/src/scripts/coopstarter.js
@@ -500,7 +500,6 @@ function addProperFilterToSearchComponents(targetId) {
       let instance_only = baseElement.querySelectorAll(
         ".instance_database_only"
       )[0];
-      
       if (instance_only){
         let checkbox_instance_only = instance_only.querySelector("input");
         if (checkbox_instance_only) {
-- 
GitLab