diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-13 21:54:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-13 21:54:16 +0100 |
| commit | 4c0d88919130f6071b2ec94d01a50112021a4e2a (patch) | |
| tree | 38c4fdf1bce1406c97972f44f3f1036c6f424972 /misc/scripts/copyright_headers.py | |
| parent | a94c3b4812b1423b8e039f66313d3912b97a425a (diff) | |
| parent | 8e1da2e0e56aa6b84178839467555c8eb8ef7f48 (diff) | |
Merge pull request #45959 from Xartorx/fix-mono-load-cache
Fix Mono build after resource load cache changes
Diffstat (limited to 'misc/scripts/copyright_headers.py')
0 files changed, 0 insertions, 0 deletions