dvi2bitmap  dvi2bitmap1.0
version.h
Go to the documentation of this file.
1 const char version_string[] = "dvi2bitmap version 11ed518c3fd3, 2014 November 25";