Allow bookmark removal
commitd8b2e0ca9b1a0f95e4fa930466cf695232d53dbb
authormalc <av1474@comtv.ru>
Tue, 15 Jun 2010 17:03:38 +0000 (15 21:03 +0400)
committermalc <av1474@comtv.ru>
Tue, 15 Jun 2010 17:03:38 +0000 (15 21:03 +0400)
treeb3125724973518614b2dd5efaec55486c303285e
parentfd8b7097de8efa55d80d22539a7eb74bc005e136
Allow bookmark removal
main.ml