path: root/version.c.in

/* @configure_input@ */
const char version[] = "GNUmach @VERSION@";