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