John Marino 915891af24 print/texvc is not jobs safe (like many OCAML ports)		2015-11-13 00:31:42 +00:00
..
distinfo
Makefile	print/texvc is not jobs safe (like many OCAML ports)	2015-11-13 00:31:42 +00:00
pkg-descr