Skip to content

[open-] fix opening a dir with an filetype extension #1210

[open-] fix opening a dir with an filetype extension

[open-] fix opening a dir with an filetype extension #1210

Annotations

2 warnings

run-tests (3.10)

succeeded Oct 7, 2024 in 34s