Closed waskyo closed 8 months ago
The binaryninja plugin was using this API. The new API is not ready for primetime so this brings back the old one in the meantime.
The binaryninja plugin was using this API. The new API is not ready for primetime so this brings back the old one in the meantime.