From 460670c769a0025dda39c3d05174ca5f3ab0717f Mon Sep 17 00:00:00 2001 From: Jennifer Mourek Date: Mon, 2 Jul 2018 12:48:21 +0200 Subject: [PATCH] AddNodeForm: Remove option 'DEG' refs #159 --- application/forms/AddNodeForm.php | 1 - 1 file changed, 1 deletion(-) diff --git a/application/forms/AddNodeForm.php b/application/forms/AddNodeForm.php index b44cfcc..9cf63ae 100644 --- a/application/forms/AddNodeForm.php +++ b/application/forms/AddNodeForm.php @@ -87,7 +87,6 @@ class AddNodeForm extends QuickForm '&' => $this->translate('AND'), '|' => $this->translate('OR'), '!' => $this->translate('NOT'), - '<' => $this->translate('DEG'), '1' => $this->translate('MIN 1'), '2' => $this->translate('MIN 2'), '3' => $this->translate('MIN 3'),