Skip to content

Replace custom tooltips with native ones in files#35795

Merged
JuliaKirschenheuter merged 1 commit intomasterfrom
enh/35770-Replace_custom_tooltips_with_native_one_for_files
Dec 23, 2022
Merged

Replace custom tooltips with native ones in files#35795
JuliaKirschenheuter merged 1 commit intomasterfrom
enh/35770-Replace_custom_tooltips_with_native_one_for_files

Commits

Commits on Dec 22, 2022