wok diff flex/description.txt @ rev 23711

updated ubuntu-font-family again (0.80 -> 0.83)
author Hans-G?nter Theisgen
date Tue Apr 28 17:27:08 2020 +0100 (2020-04-28)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/flex/description.txt	Tue Apr 28 17:27:08 2020 +0100
     1.3 @@ -0,0 +1,2 @@
     1.4 +Flex is a tool for generating scanners. A scanner, sometimes called a tokenizer,
     1.5 +is a program which recognizes lexical patterns in text.