diff options
| author | Robert Norton | 2016-05-31 16:18:04 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-31 16:18:54 +0100 |
| commit | db723bb2b6ab0e561e122a26cdad5e9afc5e5dfe (patch) | |
| tree | 519c27801bf9d8c62b408cc18bc8cf2658fd8ed8 /src/initial_check_full_ast.mli | |
| parent | b8b2c6d936bfccd4767069f21debe38f2eb60141 (diff) | |
delete obsolete Makefile (src/Makefile currently hanldes mips build).
Diffstat (limited to 'src/initial_check_full_ast.mli')
0 files changed, 0 insertions, 0 deletions