Merge pull request #30 from Ladicek/make-jflex-executable
authorDmitry Jemerov <yole@jetbrains.com>
Mon, 24 Dec 2012 14:33:18 +0000 (06:33 -0800)
committerDmitry Jemerov <yole@jetbrains.com>
Mon, 24 Dec 2012 14:33:18 +0000 (06:33 -0800)
make the tools/lexer/jflex-1.4/bin/jflex script executable


Trivial merge