blob: 3b1c894fd2cc12ed8769b77d3e79c234079dca8d (
plain)
1
2
3
4
5
6
7
|
# DP: updates from the 13 branch upto 20231005 (2ef5adc5f5a).
LANG=C git diff --no-renames --src-prefix=a/src/ --dst-prefix=b/src/ \
c891d8dc23e1a46ad9f3e757d09e57b500d40044 2ef5adc5f5a7a5046964276e4354e47eedc96620 \
| awk '/^diff .*\.texi/ {skip=1; next} /^diff / { skip=0 } skip==0' \
| grep -v -E '^(diff|index)'
|
