terminals/Xtreams__FileWriteStream.st
changeset 144 e193a6772be4
parent 109 9587e2df7029