Re: Gitorius: push impossibile

I file generati a partire dal sorgente non dovrebbero essere presenti nel repository (mi riferisco al PDF) 😉

edit: anche tikzlibrarymec.code.tex mi sembra di capire sia generato automaticamente