Cross Reference: /external/webkit/WebKitTools/android/flex-2.5.4a/MISC/flex.man

Lines Matching full:mini

42              managing "mini-scanners"
1142      exclusive start conditions make it easy  to  specify  "mini-

OpenGrok