The git_diff_target setting controls base document source.In coordination with the new Git functionality, diffs can be calculated against HEAD or the index.The setting mini_diff controls incremental diff behavior. Diff markers show added, modified and deleted lines.All changes to a document are now represented by dedicated markers in the gutter.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |