Paul Eggert 56389381fc Remove patches/argp.diff; no longer needed. há 20 anos atrás
..
getopt.diff 916019e417 Added to the repository há 21 anos atrás