mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-29 01:14:35 +02:00
DRC: added collect*, select and each methods.
This commit is contained in:
@@ -220,6 +220,7 @@ HEAD
|
||||
doc += "<doc>\n"
|
||||
|
||||
doc += "<title>#{escape($title)}</title>\n"
|
||||
doc += "<keyword name=\"#{escape($title)}\"/>\n"
|
||||
|
||||
doc += "<topics>\n"
|
||||
|
||||
|
||||
Reference in New Issue
Block a user