Merge branch 'master' of ssh://repo.or.cz/srv/git/informe1syo
tree08cd90ba17404900a28aa7c7319abb3334d8fb23
-rw-r--r-- 81 .gitignore
-rw-r--r-- 224 Makefile
-rw-r--r-- 11044 inf.tex