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