doc/stdlib.txt
changeset 10227 fb138c2b7da3
parent 5767 1d811df051c2