diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-30 12:04:21 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-30 12:04:21 +0000 |
| commit | f2e0c40f5bbdd16fdb2354e3052a905776a944f0 (patch) | |
| tree | d72f11536099c251274cc0cd57137095ad771019 /src/JavaGUI/runNumerals | |
| parent | afffb0367bdfda9b9b7a4153d5738bb15b444186 (diff) | |
Remove more useless pattern matching and variable bindings in transfer compilation.
Diffstat (limited to 'src/JavaGUI/runNumerals')
0 files changed, 0 insertions, 0 deletions