From 661aa573814026da80c2a803b9ba4d74b3414fd1 Mon Sep 17 00:00:00 2001
From: Ladislav Thon <ladicek@gmail.com>
Date: Sun, 16 Dec 2012 21:46:26 +0100
Subject: [PATCH] make the tools/lexer/jflex-1.4/bin/jflex script executable

---
 tools/lexer/jflex-1.4/bin/jflex | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/lexer/jflex-1.4/bin/jflex

diff --git a/tools/lexer/jflex-1.4/bin/jflex b/tools/lexer/jflex-1.4/bin/jflex
old mode 100644
new mode 100755