Merge branch 'master' of ssh://repo.or.cz/srv/git/informe1syomaster
tree783760d96e3d0053bd14e66d27d9b6085edda650
-rw-r--r-- 81 .gitignore
-rw-r--r-- 224 Makefile
-rw-r--r-- 14816 inf.tex