• ji17br@lemmy.ml
    link
    fedilink
    arrow-up
    5
    ·
    10 months ago

    I just tried with the default files app. You can definitely rename file extensions.