/*  This file contains the current version number of LN03DVI.  This file only
exists because it is much faster to compile this than LN03DVI.C  */

char	ln03dvi_version[] = "V1.2-013";