/* Version number of GNU diff. */ #include char const version_string[] = "2.7";