Extracted from Pike v8.0 release 182 as of 2016-03-26.
[Top]
spider
Symbol index
spider.set_start_quote()
RegGetKeyNames()
Method spider.stardate()
Method
stardate
string
stardate
(
int
time
,
int
precision
)