Optionally ignore precise positioning in presentation mode
commit798f1bca0e2ed7d1e6cd3c6e406189f458aab4de
authormalc <moosotc@gmail.com>
Wed, 3 Feb 2016 07:33:07 +0000 (3 10:33 +0300)
committermalc <moosotc@gmail.com>
Wed, 3 Feb 2016 07:33:07 +0000 (3 10:33 +0300)
treec154672637f675dc2b152b7d6c8e11f4d5978eea
parent9d996ec63bd91372cd712d9fbf03066e6b6234f3
Optionally ignore precise positioning in presentation mode
config.ml
main.ml