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 | |
| 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')
0 files changed, 0 insertions, 0 deletions