diff options
| author | Alasdair Armstrong | 2019-02-26 17:25:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-27 14:15:23 +0000 |
| commit | 87140e97e3c1b2b1713a4458f8f5e622625c0683 (patch) | |
| tree | 3a01372caf14335d2fd987723c5c893b0a7752cb /src/lem_interp/interp_interface.lem | |
| parent | 8985e0ffc1b23ef5039383d99bdf46da10a131c1 (diff) | |
Make -o option work as usual with C compilation
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions