diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-16 09:23:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-16 09:23:04 +0100 |
| commit | 340e54ab558bb77a98db07be4c7a2d125ed21e8d (patch) | |
| tree | 076e7c5035e41c7d194e8b2cfda4acca89083b55 /main/main_builders.py | |
| parent | 95a85c9058e9c2a7eab3f5a272ffbe741a6750d1 (diff) | |
| parent | 45bdf4d6095bb065690e097f8728c323729d9bbd (diff) | |
Merge pull request #68708 from KoBeWi/this_dock_is_a_history_now
Add explicit name to History dock
Diffstat (limited to 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions