This work concludes #1781 <https://github.com/leo-editor/leo-editor/issues/1781>. See PR #1785 <https://github.com/leo-editor/leo-editor/pull/1785> for details.
The git-diff (gd) command has been around for awhile. It now produces Leonine diffs of .leo files. The git-diff-pr command is brand new today. When run in a branch, it will produces a diff of all files (including .leo files) against the base of the branch. Imo, Leo devs will soon wonder how we ever got along without the git-diff-pr. It's *so* much better than looking at diffs in the actual PR's! I believe the new code should be safe to use. The new code affects only the new commands. Furthermore, the new code fixes some old buglets. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/096995e5-801c-4cad-a2dd-3357f580f5f8n%40googlegroups.com.
