EDU-692 Change default selected option and task name in "Create new task" dialog appcode/163.2166
[idea/community.git] / tools / lexer /
drwxr-xr-x   ..
-rw-r--r-- 627 CHANGES
-rw-r--r-- 1719 COPYRIGHT
-rw-r--r-- 5845 idea-flex.skeleton
-rw-r--r-- 1186471 jflex-1.7.0-SNAPSHOT.jar
-rw-r--r-- 25833 jflex-changes.patch