wok diff diffutils/description.txt @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author: Hans-G?nter Theisgen
date: Wed May 18 08:05:48 2022 +0100 (2022-05-18)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/diffutils/description.txt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +GNU Diffutils is a package of several programs related to finding
     1.5 +differences between files.
     1.6 +
     1.7 +Computer users often find occasion to ask how two files differ.
     1.8 +Perhaps one file is a newer version of the other file. Or maybe
     1.9 +the two files started out as identical copies but were changed
    1.10 +by different people.