• Tiger Jerusalem@lemmy.world
    link
    fedilink
    arrow-up
    5
    ·
    1 year ago

    Honest question: is case sensitivity that important? Are there files named settings.ini and Settings.ini, for example, in the same folder that do different things?