Refine history mode
commit67ffe6f7dd7bc24aef55e3f0930e0878f8df52ee
authormalc <av1474@comtv.ru>
Mon, 7 Jul 2014 21:14:13 +0000 (8 01:14 +0400)
committermalc <av1474@comtv.ru>
Mon, 7 Jul 2014 21:14:13 +0000 (8 01:14 +0400)
tree4a5659ff54600a48d28f059a0ec7fa6243eb730e
parentac322069e0acdb99e8ac83ad222c018c842f9724
Refine history mode
config.ml
main.ml