Update file: documents/source/stdlib.txt - remove unnecessary line
Update file: documents/source/stdlib.txt - remove unnecessary line

ring-lang/ring,ring-lang/ring,ring-lang/ring,ring-lang/ring,ring-lang/ring,ring-lang/ring,ring-lang/ring,ring-lang/ring