wok diff flex/description.txt @ rev 19047

Remove openbox chrommo theme. Duplicated in the repository.
author Leonardo Laporte <hackdorte@sapo.pt>
date Sun Apr 17 16:28:31 2016 -0300 (2016-04-17)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/flex/description.txt	Sun Apr 17 16:28:31 2016 -0300
     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.