]> matita.cs.unibo.it Git - helm.git/commitdiff
convert does not export xfc->png properly...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:56:37 +0000 (13:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 13:56:37 +0000 (13:56 +0000)

No differences found