diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-08 19:53:06 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-08 19:53:06 +0000 |
| commit | c038db9d7cc39de613ece4edcfbc5820d53317dc (patch) | |
| tree | 3f8f9f1c573a9ad13b99ef878ee5b8cca50611f4 /src/INSTALL.binary | |
| parent | 6645233be01fd8c7b2259340baa45f732435c9aa (diff) | |
JavaScript generation: compile all concrete syntaxes, not just the first.
Diffstat (limited to 'src/INSTALL.binary')
0 files changed, 0 insertions, 0 deletions