From a0d857d9dc0e06eab2be0003a3f45995edef0b1e Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Mon, 31 May 2021 18:44:43 +0200
Subject: [PATCH] Updated doc.

---
 src/lay/lay/doc/about/drc_ref_layer.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/lay/lay/doc/about/drc_ref_layer.xml b/src/lay/lay/doc/about/drc_ref_layer.xml
index 24b008f5d..9c2e565dc 100644
--- a/src/lay/lay/doc/about/drc_ref_layer.xml
+++ b/src/lay/lay/doc/about/drc_ref_layer.xml
@@ -1951,9 +1951,6 @@ on polygons and edges (input1: red, input2: blue):
 <td><img src="/images/drc_or2.png"/></td>
 </tr>
 </table>
-</p><p>
-In deep mode, "or" or "|" does not imply merging. In deep mode,
-"or" is an alias for "+" ("add").
 </p>
 <a name="output"/><h2>"output" - Outputs the content of the layer</h2>
 <keyword name="output"/>