/* Version number of GNU diff.  */

#include <config.h>

char const version_string[] = "2.7-arm-000512";