Make page jumps update history (again)
commitb28dba1e732df188e9b356474d9ba79e5c301b33
authormalc <av1474@comtv.ru>
Sun, 13 Jun 2010 08:14:45 +0000 (13 12:14 +0400)
committermalc <av1474@comtv.ru>
Sun, 13 Jun 2010 08:14:45 +0000 (13 12:14 +0400)
tree44e421371300d012c86241f339a9bf68444c56b0
parent94132d8f0dd1b9cafe3a32f054844014ad985694
Make page jumps update history (again)
main.ml