Trim autogenerated uiutils interface by hand
commit4a08a1df51a810be7f0953aea18ec58f721c8ada
authormalc <clamky@hotmail.com>
Fri, 16 Apr 2021 19:57:11 +0000 (16 22:57 +0300)
committermalc <clamky@hotmail.com>
Fri, 16 Apr 2021 19:57:11 +0000 (16 22:57 +0300)
tree14130298b366fe29bfe18aec9774e92fcad22c51
parent9a39d6ada005382e606881d3cb6482ebc6dd07ce
Trim autogenerated uiutils interface by hand
uiutils.mli