luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixed issue #1511 (typo)

This commit is contained in:
Matthias Koefferlein 2023-10-18 20:55:18 +02:00
parent 01c19048aa
commit 4bdfcd4549
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/doc/doc/manual/drc_runsets.xml
View File

@ -444,8 +444,7 @@ output(w, "width violations")</pre>
<a href="/about/drc_ref_layer.xml#|">| (or)</a>,
<a href="/about/drc_ref_layer.xml#-">- (not)</a>,
<a href="/about/drc_ref_layer.xml#^">^ (xor)</a>,
<a href="/about/drc_ref_layer.xml#+">+ (xor)</a>,
<a href="/about/drc_ref_layer.xml#join">join</a>
<a href="/about/drc_ref_layer.xml#+">+ (join)</a>,
</li>
<li>Sizing:<br/>
<a href="/about/drc_ref_layer.xml#size">size</a>,