Make help helpful even without opened document
commitc8bb5aa248ff587e986c3cfc7484dc0d3a80f23d
authormalc <moosotc@gmail.com>
Thu, 11 Jan 2018 02:43:55 +0000 (11 05:43 +0300)
committermalc <moosotc@gmail.com>
Thu, 11 Jan 2018 02:43:55 +0000 (11 05:43 +0300)
treedd1a733a62434649195255e07f594783bfe2ab6d
parent640f1e9c2ca8b0198fb0537a9e2edff22cf3d386
Make help helpful even without opened document
main.ml