diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-01-17 21:09:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-17 21:09:16 +0100 |
commit | 780f5c05256dd0da4e033b72393d215dd9db97ef (patch) | |
tree | 921ff634eef4cb7475a90ac6ff11491ff5a4c74c /thirdparty/oidn/mkl-dnn/src/cpu/jit_primitive_conf.hpp | |
parent | ff19feb8b89080e91ec0c23bf79eb1abef88ac99 (diff) | |
parent | c24433f5007af7b29080e6ea4708c1efe435dcad (diff) |
Merge pull request #56847 from jmb462/unkown_extension_warning
Prevent renaming to an unkown extension from FileSystem dock.
Diffstat (limited to 'thirdparty/oidn/mkl-dnn/src/cpu/jit_primitive_conf.hpp')
0 files changed, 0 insertions, 0 deletions