diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-21 00:01:45 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-21 00:01:45 +0000 |
| commit | 15fd1d590a70be3af1b4e0a6488ebba795922342 (patch) | |
| tree | 6d1216f60425c92b1830cf7dce6722490fa96f3e /src/JavaGUI/manifest.txt | |
| parent | 7cceec08026535852091aa3db2ce73da32c06e17 (diff) | |
Generate JavaScript type annotator. Use lindef in JavaScript.
Diffstat (limited to 'src/JavaGUI/manifest.txt')
0 files changed, 0 insertions, 0 deletions