diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-03-15 08:57:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-15 08:57:45 +0100 |
commit | 6eef187a81cbdd3cd314776de372e753f79f9831 (patch) | |
tree | 2f57c757cab8a090efd9b9b6f6daebce3b2a080f /thirdparty/oidn/mkl-dnn/src/cpu/jit_utils | |
parent | d1b5c1d09f43e423b92a083ff5e3dd4d4d81cbcb (diff) | |
parent | b80406770ff0fe108395354121e03743a8a7121e (diff) |
Merge pull request #46993 from gongpha/check-if-edit-called-via-editor
Check if _edit_set_position and _edit_set_rect was used outside an editor
Diffstat (limited to 'thirdparty/oidn/mkl-dnn/src/cpu/jit_utils')
0 files changed, 0 insertions, 0 deletions