diff options
| author | Jon French | 2017-07-21 20:32:40 +0100 |
|---|---|---|
| committer | Jon French | 2017-07-21 20:56:56 +0100 |
| commit | e609a9ead0505ffcf824177d211d43d685b7c08f (patch) | |
| tree | 4b552cdf1204c41d4c7cea412990a27139854103 /src/lem_interp/interp_interface.lem | |
| parent | 4683962ecbb42167d6d966d731c451ba5eb696d5 (diff) | |
remove -merge true from ott makefile -- lem at least doesn't build with it
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions