diff options
| author | bringert <unknown> | 2005-03-07 16:50:00 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-03-07 16:50:00 +0000 |
| commit | a4b8921544c5e809f4f664d2fa19bb8257fa77bf (patch) | |
| tree | 7fbfa4392d1e2641ba9f765e029ce89f0d687e55 /src/JavaGUI/runNumerals | |
| parent | dcf87cd664f0787be5144c0dfb0d480e6ee26946 (diff) | |
Added onTermIdents function.
Diffstat (limited to 'src/JavaGUI/runNumerals')
0 files changed, 0 insertions, 0 deletions