Hlavní navigace

Názor ke zprávičce GitHub od října změní pojmenování nových repozitářů z master na main od Ondřej Novák - Většinou zakládám repozitář lokálně a pak to teprve...