diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-08-12 15:15:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-12 15:15:39 +0200 |
commit | 2a4cd769a1d861ad3d5414e563b899ba207fbd0f (patch) | |
tree | 7a42a60b567550b2c0e252addfee8c0a8f75ad2d /modules/mono/glue | |
parent | 64595f0f6ad2aab38fb14f85c077c6e147326624 (diff) | |
parent | d29ea4337fd165423b3b8ae0e88b18ce89f6dd9a (diff) |
Merge pull request #20940 from akien-mga/resourceloader-exists
Fix ResourceLoader::exists() false negative and readd deprecated has()
Diffstat (limited to 'modules/mono/glue')
0 files changed, 0 insertions, 0 deletions