diff CONTRIBUTORS @ 18513:37ce336ab2dd stable

bookmarks: factor out delete divergent code Deleting divergent bookmarks is more generally useful than just in bookmarks.update.
author Siddharth Agarwal <sid0@fb.com>
date Wed, 30 Jan 2013 15:35:00 -0800
parents c29efd272395
children
line wrap: on
line diff