/* Version number of GNU diff.
* $Id: version.c,v 1.6 1993/09/29 21:37:15 jtc Exp $
*/
#include "config.h"
char const version_string[] = "2.5";