Two unrelated annot changes
commit8adb28a6dee79097ce088fec9eb649191f4b4cd7
authormalc <av1474@comtv.ru>
Sat, 17 Jan 2015 22:44:09 +0000 (18 01:44 +0300)
committermalc <av1474@comtv.ru>
Sat, 17 Jan 2015 22:44:09 +0000 (18 01:44 +0300)
treeddd6b1076b5279c004b1a8efc22f334edade008e
parent85907378e5a531becdcd0c9c4b99fa2d41e47d6a
Two unrelated annot changes

a. Two phased saving (save/move)
b. Fix ml_whatsunder w.r.t. annotations
link.c
main.ml