diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 16:55:17 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-21 16:55:17 +0100 |
commit | a6ddee9c00f76792632f43938a2c881cd9308e16 (patch) | |
tree | ab2d176ae5b7ea82a9ff951bed4229a6feb7bf74 /modules/navigation | |
parent | 3e9a83119440edbc9d9e03125f57f3b4dd9d964e (diff) | |
parent | 760d3ea085cf6aa7095ef6700ec7b2e968fc8ee0 (diff) |
Merge pull request #71814 from mihe/binary-resources-setting
Remove redundant definition of `convert_text_resources_to_binary`
Diffstat (limited to 'modules/navigation')
0 files changed, 0 insertions, 0 deletions