diff options
| author | Stephen Kell | 2014-10-04 17:18:48 +0100 |
|---|---|---|
| committer | Stephen Kell | 2014-10-04 17:18:48 +0100 |
| commit | f2b2b02654caf2e11ccef6cb459ecd27611c23a4 (patch) | |
| tree | 0f198b7f47f6a14131dd0f44b392ed178ef74d5c /src/lem_interp | |
| parent | 87d5696867883fb6e16d1106c12a17baf0eebc94 (diff) | |
Add alternative non-opam Makefile in src/.
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions