| commit | 337cf5b3c4cf3af5136a46d5caac3bb2b0bce4bf | |
| author | malc <moosotc@gmail.com> | |
| Mon, 25 Mar 2019 18:15:36 +0000 (25 21:15 +0300) | ||
| committer | malc <moosotc@gmail.com> | |
| Mon, 25 Mar 2019 18:15:36 +0000 (25 21:15 +0300) | ||
| tree | ccc419855218bdb1bc1d5ced38387b0ac9b10942 | treesnapshot (tar.gz zip) |
| parent | 89d25cacb2b39541d5c6ad31b8547d46aa41a591 | commitdiff |
Adding an empty mli allows us to catch unused functions
Such as gotoanchor here.
Such as gotoanchor here.
| main.ml | diffblobblamehistory | |
| main.mli | [new file with mode: 0644] | blob |