element-android/diff-match-patch/.gitignore