Skip to content

Commit

Permalink
Update lib/streams.gd
Browse files Browse the repository at this point in the history
Co-Authored-By: ChrisJefferson <caj21@st-andrews.ac.uk>
  • Loading branch information
fingolfin and ChrisJefferson authored Mar 25, 2019
1 parent 8cc9989 commit 2966a16
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/streams.gd
Original file line number Diff line number Diff line change
Expand Up @@ -632,7 +632,7 @@ DeclareOperation( "InputTextString", [ IsString ] );
## <P/>
## <C>InputTextFile</C> is designed for use with text files and automatically
## handles windows-style line endings. This means it should <E>not</E> be used for
## binary data. The <Ref BookName="IO" Oper="IO_File" /> function from the IO
## binary data. The <Ref BookName="IO" Oper="IO_File" /> function from the <Package>IO</Package>
## package should be used to access binary data.
## </Description>
## </ManSection>
Expand Down

0 comments on commit 2966a16

Please sign in to comment.