path: root/version.c

char version[] = "GNUmach 1.2";