diff options
| author | Robert Norton | 2016-01-20 13:45:37 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-20 13:45:37 +0000 |
| commit | b27fed4f2e3e5c8032d191dd860c1ea9724e647e (patch) | |
| tree | 10a89d21c6471fcfc9c0443ca64e1726ad5908da /src/lem_interp/interp_lib.lem | |
| parent | 00734d027ab9913c0cf89104ea3690662a5f4908 (diff) | |
trim some obsolete/bitrotted make stuff.
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions