diff options
| author | Son Ho | 2022-10-27 09:40:47 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | 1e5103b896d5e843e8c40ec600c0215673c79275 (patch) | |
| tree | 39d4a77052e9dd5f14ab49386e9142fb47249d81 /compiler/Errors.ml | |
| parent | 7e7d0d67de8285e1d6c589750191bce4f49aacb3 (diff) | |
Update the README and a comment
Diffstat (limited to 'compiler/Errors.ml')
0 files changed, 0 insertions, 0 deletions