| commit | c7e2ff64d0296ca6fce3ad4c22e780d10279b47a | |
| author | malc <clamky@hotmail.com> | |
| Fri, 16 Apr 2021 19:35:51 +0000 (16 22:35 +0300) | ||
| committer | malc <clamky@hotmail.com> | |
| Fri, 16 Apr 2021 19:35:51 +0000 (16 22:35 +0300) | ||
| tree | d1f676bce37214e7d82fe0f49912a63dc589ccdc | treesnapshot (tar.gz zip) |
| parent | 799cd47d37f96311a0df43b0c2564d7561b117cb | commitdiff |
Remove tautological interface
ffi.mli == ffi.ml.
TODO: It would have been more aesthetically pleasing to have ffi.mli
and no ffi.ml.
ffi.mli == ffi.ml.
TODO: It would have been more aesthetically pleasing to have ffi.mli
and no ffi.ml.
| ffi.mli | [deleted file] | blobblamehistory |