]> rtime.felk.cvut.cz Git - omk.git/commitdiff
Use synctex to ease documentation editting
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 12 Nov 2013 08:30:26 +0000 (09:30 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 12 Nov 2013 08:30:26 +0000 (09:30 +0100)

No differences found