diff options
| author | Kathy Gray | 2014-10-02 11:04:25 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-10-02 11:04:25 +0100 |
| commit | 16fe6613b5ecd93a36234daf8a3c4bc221da6abc (patch) | |
| tree | e2722dbe18a83b75e6c858d557343edb8ba60608 /src/lem_interp/interp_interface.lem | |
| parent | d65de6195e4274b38351bb380e706a874a0576aa (diff) | |
correct renaming typo
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions