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