diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 12:03:43 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 12:03:43 -0500 |
commit | 327e96d880445552e44951677b589d8b802b3f06 (patch) | |
tree | d48d00707be26cf76b743d5f2e3e6e3a28c55eef /clib/int.mli | |
parent | 27158c168e0f817d8a3b4d50ae293bd4126d5bfa (diff) |
Correct spelling errors
Diffstat (limited to 'clib/int.mli')
0 files changed, 0 insertions, 0 deletions