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