/* Version number of GNU diff.  */

char *version_string = "1.15";