Google-diff-match-patch: libraries in multiple languages for sync-ing textcode.google.com8 pointsbitsai15 years ago