diff options
| author | 2024-05-24 20:52:27 +0000 | |
|---|---|---|
| committer | 2024-05-24 20:52:27 +0000 | |
| commit | c6b5fdbc5c90c0b7ee9a65c4b9782f982bedb6f0 (patch) | |
| tree | f3b2e835fca0723b47d0542cce53fed39487b1f9 /scripts/merge_directories.py | |
| parent | ce15fb72bf7127fbc63230ebb52d907d446c1085 (diff) | |
| parent | fdec8723d574daf54b956cc0f6dc879087da70a6 (diff) | |
Merge "Convert some properties to Configurable properties" into main
Diffstat (limited to 'scripts/merge_directories.py')
0 files changed, 0 insertions, 0 deletions