diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2007-09-25 12:59:25 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2007-09-25 12:59:25 +0000 |
| commit | 6613d5f40adfd5cbfa539aadbdbde5fc9383d28a (patch) | |
| tree | 18871aa24571dead3d2107a07d3895a5808c6fa7 /src/JavaGUI2/de/uka/ilkd | |
| parent | 286851b7c0628ec9aaecf6d41bd56d13218f53cd (diff) | |
simple optimization of the parser that makes it about two times faster
Diffstat (limited to 'src/JavaGUI2/de/uka/ilkd')
0 files changed, 0 insertions, 0 deletions