diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-10-27 15:09:46 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-27 15:09:46 -0700 |
| commit | a8a49ebf61449f80d8c5ea2f9768f0ca590e51dd (patch) | |
| tree | 7e2d330cdb4f7784076ed0e950d85b6b15b9cf47 /builtin/diff-tree.c | |
| parent | 1d1c4a875900d69c7f0a31e44c3e370dc80ab1ce (diff) | |
| parent | aff92827b54f4b7f9e339982a49bab4bdbd1fc55 (diff) | |
Merge branch 'js/userdiff-php'
Userdiff for PHP update.
* js/userdiff-php:
userdiff: PHP: catch "abstract" and "final" functions
Diffstat (limited to 'builtin/diff-tree.c')
0 files changed, 0 insertions, 0 deletions