Skip to content
This repository was archived by the owner on Dec 22, 2021. It is now read-only.

Update conversion op names#108

Merged
dtig merged 2 commits intomasterfrom trunc-convert-namesSep 13, 2019

Commits

Commits on Sep 13, 2019