]> rtime.felk.cvut.cz Git - omk.git/commit
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)
commit60a244e8e5c817b7d501eaf2e9008e44bc882329
tree2816a3f63fdec9c348c2247f328f3e70b458e474
parent66c9d3697310ae7c760b3524acdceee4e00936c8
Use synctex to ease documentation editting
doc/Makefile