Brugerværktøjer

Webstedsværktøjer


raspberry_pi

Media Manager

Navnerum

Vælg navneområde

Vælg mediefil

Filer i wiki:deb

Fil

    Dato:
    2022/09/10 14:53
    Filnavn:
    wiringpi-latest.deb
    Størrelse:
    51KB
    Henvisning til:
    Søgningen gav intet resultat.
    raspberry_pi.txt · Sidst ændret: 2022/08/07 11:59 af Klaus Kristensen

    Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki