Skip to content

use FileFormat::get_ext as the default file extension filter #35062

use FileFormat::get_ext as the default file extension filter

use FileFormat::get_ext as the default file extension filter #35062

Triggered via pull request September 14, 2024 14:07
@waruto210waruto210
synchronize #12417
Status Success
Total duration 16s
Artifacts

dev_pr.yml

on: pull_request_target
Process
7s
Process
Fit to window
Zoom out
Zoom in