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