Extracted from Pike v8.0 release 164 as of 2018-07-18.
[Top]
Tools
Tools.Hilfe
Tools.Hilfe.GenericHilfe
Index of class Tools.Hilfe.GenericHilfe
create()