On Tue, Apr 4, 2023, at 13:23, Thorsten Otto wrote: > How can that be done? I mean, git detects that file to be binary. I certainly > don't want to treat it as text, and then dump binary data to the terminal when > they differ ;) I used something like this when I last needed to diff binary files: https://superuser.com/a/706286/259670 -- Kristoffer Haugsbakk
