]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'lo/userdiff-gitconfig'
authorJunio C Hamano <gitster@pobox.com>
Tue, 15 Apr 2025 20:50:15 +0000 (13:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 15 Apr 2025 20:50:16 +0000 (13:50 -0700)
* lo/userdiff-gitconfig:
  userdiff: add builtin driver for INI files


Trivial merge