Name Last modified Size Description Parent Directory - Makefile.am 2013-01-21 15:53 959 Makefile.in 2013-08-02 14:10 15K dvisvgm.1 2013-08-02 14:11 37K dvisvgm.txt.in 2013-08-02 14:04 34K