doc/stdlib.txt
changeset 8015 b9de628f90e6
parent 5767 1d811df051c2