Andreas Gruenbacher ee3cc4016d Revert "Remove obsolete require_gnu_diff function"
Oops, function require_gnu_diff is still needed in two places.

This reverts commit 8cae4fc2213649e36e8f9a4cf21c28a82de3705c.
2024-09-18 14:51:33 +02:00
..
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00
2024-08-28 23:13:44 -07:00