Hlavní navigace

Vlákno názorů ke zprávičce GitHub od října změní pojmenování nových repozitářů z master na main od anonym - Main je sice výstižnější ale master je zavedená...