/* 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";