Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update flex.texi: Removed repedative wording
"Flex used to" was written twice at the beginning of Chapter 9, paragraph 2.
- Loading branch information