diff options
| author | Matej Kosik | 2015-10-29 13:47:27 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 1372e075c52aa2dad547a42eaf9aba1f83a7abb1 (patch) | |
| tree | 3e0e25a83d4e012fcf236b3d323ce6e9ec650f90 /plugins/decl_mode/decl_interp.ml | |
| parent | 8f96f8194608c99ad8efa201c24b527dbc530537 (diff) | |
CLEANUP PROPOSITION: this sentence does not help us to better understand the semantics of the language
Diffstat (limited to 'plugins/decl_mode/decl_interp.ml')
0 files changed, 0 insertions, 0 deletions