Add files from parent branch HEAD:
[pkgsrcv2.git] / fonts / tex-times /
drwxr-xr-x   ..
-rw-r--r-- 233 DESCR
-rw-r--r-- 349 Makefile
-rw-r--r-- 12199 PLIST
-rw-r--r-- 289 distinfo