doc/stdlib.txt
changeset 11856 92e9cbc6fc57
parent 5767 1d811df051c2