libraries

hallo
ik vroeg me af ,hoe je deze librarie download,als ik hem selecteer ,en rechts klik,opslaan als,doe dan kan ik hem opslaan als txt ,of html.
dat kom ik met meer libraries tegen.
deze als voorbeeld.

Hier naar toe gaan : GitHub - johnmccombs/arduino-libraries: My Arduino libraries folder

rechts staat er ergens download zip. Je krijgt dus alles.

ok bedankt.