• @[email protected]
    link
    fedilink
    English
    22 months ago

    I slightly hesitate to ask, but what units are we working in here? 13 mm? Or 13 … 1/64ths of an inch or something?