Rokov DPLL in ostale datoteke
Posodobil