Document how to disable difftastic temporarily

It can be useful if you want to obtain a diff in the standard format and copy paste it to github, for instance.
2024-02-27 16:15:09 +07:00 · 2024-02-27 16:15:09 +07:00 · 082abf65d1
parent 0ceb00093a
commit 082abf65d1
1 changed files with 3 additions and 0 deletions
--- a/manual/src/git.md
+++ b/manual/src/git.md
@ -92,3 +92,6 @@ $ git diff
 $ git show HEAD --ext-diff
 $ git log -p --ext-diff
 ```
+
+Conversely, if you need to copy/paste a diff in the standard diff format, you
+can use `git diff --no-ext-diff`.