Descriptionebnflint: better handling of stdin
- don't rely on /dev/stdin as the name for standard input
- employ EBNF extraction if the source contains tags
"cat source.html | ebnflint" works now
Patch Set 1 #Patch Set 2 : diff -r 90f9c658e53d https://go.googlecode.com/hg/ #Patch Set 3 : diff -r 90f9c658e53d https://go.googlecode.com/hg/ #
Total comments: 1
Patch Set 4 : diff -r 34ec6987d751 https://go.googlecode.com/hg/ #MessagesTotal messages: 3
|